CoRR, December 2013
December 2013
Ayan Chakraborty, Shiladitya Munshi, Debajyoti Mukhopadhyay:
A Proposal for the Characterization of Multi-Dimensional Inter-relationships of RDF Graphs Based on Set Theoretic Approach.

Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari:
Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report).


Hossein Shokri Ghadikolaei, Ioannis Glaropoulos, Viktoria Fodor, Carlo Fischione, Konstantinos D. Dimou:
Energy Efficient Spectrum Sensing and Handoff Strategies in Cognitive Radio Networks.
Shehroz S. Khan, Michael G. Madden:
One-Class Classification: Taxonomy of Study and Review of Techniques.
Oner Orhan, Deniz Gündüz, Elza Erkip:
Energy Harvesting Broadband Communication Systems with Processing Energy Cost.
Yuksel Ozan Basciftci, Onur Güngör, Can Emre Koksal, Füsun Özgüner:
On the Secrecy Capacity of Block Fading Channels with a Hybrid Adversary.
Ngoc-Son Vu, Thanh Phuong Nguyen, Christophe Garcia:
Improving Texture Categorization with Biologically Inspired Filtering.
Filomena Ferrucci, M. Tahar Kechadi, Pasquale Salza, Federica Sarro:
A Framework for Genetic Algorithms Based on Hadoop.
Alireza Vahid, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
Communication Through Collisions: Opportunistic Utilization of Past Receptions.
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Characterizing and Extending Answer Set Semantics using Possibility Theory.
Adeyinka K. Akanbi, Olusanya Y. Agunbiade:
Integration of a city GIS data with Google Map API and Google Earth API for a web based 3D Geospatial Application.
Liang Wang, Suzan Bayhan, Jussi Kangasharju:
Effects of Cooperation Policy and Network Topology on Performance of In-Network Caching.
Khaled M. Elbassioni, Mahmoud Fouz, Chaitanya Swamy:
Approximation Algorithms for Non-Single-minded Profit-Maximization Problems with Limited Supply.

Minghua Xia, Sonia Aïssa:
Impact of Co-Channel Interference on Performance of Multi-Hop Relaying over Nakagami-$m$ Fading Channels.


(Withdrawn) On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages.
Haocheng Wu, Yunhua Hu, Hang Li, Enhong Chen:
Query Segmentation for Relevance Ranking in Web Search.
Krasimir Yordzhev:
On an Algorithm for Obtaining All Binary Matrices of Special Class Related to V. E. Tarakanov's Formula.

Hyokun Yun, Hsiang-Fu Yu, Cho-Jui Hsieh, S. V. N. Vishwanathan, Inderjit S. Dhillon:
NOMAD: Non-locking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion.
Sébastien Bardin, Arnaud Gotlieb:
A Combined Approach for Constraints over Finite Domains and Arrays.
Thomas Y. Hou, Zuoqiang Shi, Peyman Tavallali:
Sparse Time Frequency Representations and Dynamical Systems.
Federico Boccardi, Robert W. Heath Jr., Angel E. Lozano, Thomas L. Marzetta, Petar Popovski:
Five Disruptive Technology Directions for 5G.
Yael Yankelevsky, Alfred M. Bruckstein:
On Optimal Disc Covers and a New Characterization of the Steiner Center.
Mohamed Gharzouli:
Reuse of existing applications during the development of Enterprise Portals integrating Web Services.
Mikko Vehkaperä, Yoshiyuki Kabashima, Saikat Chatterjee:
Analysis of Regularized LS Reconstruction and Random Matrix Ensembles in Compressed Sensing.
Felicity Allen, Russell Greiner, David S. Wishart:
Competitive Fragmentation Modeling of ESI-MS/MS spectra for metabolite identification.
Lukasz Golab, Marios Hadjieleftheriou, Howard J. Karloff, Barna Saha:
Distributed Data Placement via Graph Partitioning.
William L. Hamilton, Mahdi Milani Fard, Joelle Pineau:
Efficient Learning and Planning with Compressed Predictive States.
Abla Kammoun, Hajer Khanfir, Zwi Altman, Mérouane Debbah, Mohamed Kamoun:
Survey on 3D channel modeling : From theory to standardization.
Chunxiao Jiang, Yan Chen, K. J. Ray Liu:
Evolutionary Dynamics of Information Diffusion over Social Networks.
Hangguan Shan, Zhifeng Ni, Weihua Zhuang, Aiping Huang, Wei Wang:
State Transition Analysis of Time-Frequency Resource Conversion-based Call Admission Control for LTE-Type Cellular Network.
Kyatsandra G. Nagananda, Shalinee Kishore:
A Unifying Framework for the Electrical Structure-Based Approach to PMU Placement in Electric Power Systems.


Georg Hinkel, Thomas Goldschmidt, Lucia Happe:
An NMF solution for the Flowgraphs case at the TTC 2013. 37-42

Anthony Anjorin, Marius Lauder:
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon. 69-74


Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian:
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. 101-105
Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth:
PN2SC Case Study: An EMF-IncQuery solution. 106-114
Tomás Martínez-Ruiz, Félix García, Mario Piattini, Jürgen Münch:
Applying AOSE Concepts to Model Crosscutting Variability in Variant-Rich Processes.
Yuanming Shi, Jun Zhang, Khaled Ben Letaief:
Optimal Stochastic Coordinated Beamforming with Compressive CSI Acquisition for Cloud-RAN.



Junyuan Wang, Lin Dai:
Asymptotic Rate Analysis of Downlink Multi-user Systems with Co-located and Distributed Antennas.
Abhishek Dubey, Ambedkar Dukkipati:
Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals.
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller:
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic.
Alper Ortac, Martin Monperrus, Mira Mezini:
Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions.
Jin-San Cheng, Kai Jin:
A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems.

Jianfeng Gao, Xiaodong He, Wen-tau Yih, Li Deng:
Learning Semantic Representations for the Phrase Translation Model.
Weiyu Xu, Jian-Feng Cai, Kumar Vijay Mishra, Myung Cho, Anton Kruger:
Precise Semidefinite Programming Formulation of Atomic Norm Minimization for Recovering d-Dimensional ($d\geq 2$) Off-the-Grid Frequencies.
Ozan Irsoy, Claire Cardie:
Bidirectional Recursive Neural Networks for Token-Level Labeling with Structure.
Frank Hellweg, Christian Sohler:
Property-Testing in Sparse Directed Graphs: 3-Star-Freeness and Connectivity.
Nicolas Le Scouarnec, Christoph Neumann, Gilles Straub:
Cache policies for cloud-based systems: To keep or not to keep.
Andrey Demichev, Viatcheslav A. Ilyin, Alexander Kryukov, Stanislav Polyakov:
Fault Tolerance of Small-World Regular and Stochastic Interconnection Networks.
Vassilis Kekatos, Georgios B. Giannakis, Ross Baldick:
Grid Topology Identification using Electricity Prices.
Arun Keepanasseril, Kathleen Ann McKibbon, Alfonso Iorio:
Theoretical Foundation for Research in Communication using Information and Communication Technology Devices in Healthcare: An Interdisciplinary Scoping Review.
Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
Analog Baseband Cancellation for Full-Duplex: An Experiment Driven Analysis.
Kiryung Lee, Yihong Wu, Yoram Bresler:
Near Optimal Compressed Sensing of Sparse Rank-One Matrices via Sparse Power Factorization.
Djamal Belazzougui, Paolo Boldi, Giuseppe Ottaviano, Rossano Venturini, Sebastiano Vigna:
Cache-Oblivious Peeling of Random Hypergraphs.
Alexander Grubb, Daniel Munoz, J. Andrew Bagnell, Martial Hebert:
SpeedMachines: Anytime Structured Prediction.
Georg Hinkel, Thomas Goldschmidt, Lucia Happe:
An NMF solution for the Petri Nets to State Charts case study at the TTC 2013. 95-100
Yi Zheng, Zhi Zhu He, Jun Yang, Jing Liu:
Fully Automatic Liquid Metal Printer towards Personal Electronics Manufacture.
Uri Shalit, Gal Chechik:
Efficient coordinate-descent for orthogonal matrices through Givens rotations.
Fatma Almajadub, Abdul Razaque, Eman Abdelfattah:
Stream Control Transmission Protocol (SCTP): Robust and Efficient for Data Centre Applications.
Greg Ver Steeg, Cristopher Moore, Aram Galstyan, Armen E. Allahverdyan:
Phase Transitions in Community Detection: A Solvable Toy Model.
Yingjie Hu, Zhenhua Lv, Jianping Wu, Krzysztof Janowicz, Xizhi Zhao, Bailang Yu:
A Multi-stage Collaborative 3D GIS to Support Public Participation.
Samet Oymak, Christos Thrampoulidis, Babak Hassibi:
Simple Bounds for Noisy Linear Inverse Problems with Exact Side Information.
Louis Lei Yu, Sitaram Asur, Bernardo A. Huberman:
Dynamics of Trends and Attention in Chinese Social Media.
Francesco De Pellegrini, Alexandre Reiffers, Eitan Altman:
Differential Games of Competition in Online Content Diffusion.
Quan Geng, Pramod Viswanath:
The Optimal Mechanism in Differential Privacy: Multidimensional Setting.
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann:
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation.
Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux:
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach.
Yong Wang:
Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography.
Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
Optimization of zero-delay mappings for distributed coding by deterministic annealing.

Suayb S. Arslan:
Redundancy and Aging of Efficient Multidimensional MDS-Parity Protected Distributed Storage Systems.
Farbod Roosta-Khorasani, Kees van den Doel, Uri M. Ascher:
Data completion and stochastic algorithms for PDE inversion problems with many measurements.
Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann:
Guiding Testing Activities by Predicting Defect-prone Parts Using Product and Inspection Metrics.
Andrei Rusu:
On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$.
Yong Zeng, Rui Zhang, Zhi Ning Chen:
Electromagnetic Lens-focusing Antenna Enabled Massive MIMO: Performance Improvement and Cost Reduction.
Tao Zhao, Pengkun Yang, Huimin Pan, Ruichen Deng, Sheng Zhou, Zhisheng Niu:
Software Defined Radio Implementation of Signaling Splitting in Hyper-Cellular Network.
Stavros G. Kolliopoulos, Yannis Moysoglou:
Sherali-Adams gaps, flow-cover inequalities and generalized configurations for capacity-constrained Facility Location.
Vasile Calofir, Valentin Tanasa, Ioana Fagarasan, Iulia Stamatescu, Nicoleta Arghira, Grigore Stamatescu:
A Backstepping Control Method for a Nonlinear Process - Two Coupled-Tanks.
Jean-Baptiste Lamy, Anis Ellini, Vahid Ebrahiminia, Jean-Daniel Zucker, Hector Falcoff, Alain Venot:
Use of the C4.5 machine learning algorithm to test a clinical guideline-based decision support system.
Jean-Baptiste Lamy, Vahid Ebrahiminia, Brigitte Séroussi, Jacques Bouaud, Christian Simon, Madeleine Favre, Hector Falcoff, Alain Venot:
A generic system for critiquing physicians' prescriptions: usability, satisfaction and lessons learnt.
Jean-Baptiste Lamy, Rosy Tsopra, Alain Venot, Catherine Duclos:
A semi-automatic semantic method for mapping SNOMED CT concepts to VCM Icons.
Jayanth Krishna Mogali, Adithya Kumar Pediredla, Chandra Sekhar Seelamantula:
Template-Based Active Contours.
Frank Elberzhager, Robert Eschbach, Jürgen Münch:
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing.
Guillermo Gallego, Anthony J. Yezzi:
A compact formula for the derivative of a 3-D rotation in exponential coordinates.
(Withdrawn) Test Set Selection using Active Information Acquisition for Predictive Models.
Pramit Ghosh, Debotosh Bhattacharjee, Soma Datta:
Adaptive Intelligent Controller for Household Cooling Systems.
Amir Najafi, Amir Joudaki, Emad Fatemizadeh:
Nonlinear Dimensionality Reduction via Path-Based Isometric Mapping.
Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Round-The-Clock Urine Sugar Monitoring System for Diabetic Patients.
Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Automatic White Blood Cell Measuring Aid for Medical Diagnosis.
Renyuan Zhang, Kai Cai, Yongmei Gan, Walter Murray Wonham:
Delay-Robustness for Localization-Based Distributed Control of Timed Discrete-Event Systems.
Sheng Cai, Mayank Bakshi, Sidharth Jaggi, Minghua Chen:
FRANTIC: A Fast Reference-based Algorithm for Network Tomography via Compressive Sensing.
Ben Ruijl, Jos Vermaseren, Aske Plaat, H. Jaap van den Herik:
Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification.
Samir Kumar Bandyopadhyay, S. Arunkumar, Saptarshi Bhattacharjee:
Feature Extraction of Human Lip Prints.
Zhiting Hu, Chong Wang, Junjie Yao, Eric P. Xing, Hongzhi Yin, Bin Cui:
Community Specific Temporal Topic Discovery from Social Media.
Yi Li, Mustafa Cenk Gursoy, Senem Velipasalar:
On the Throughput of Hybrid-ARQ under QoS Constraints.
Antonio Hernandez Coarasa, Prusayon Nintanavongsa, Sugata Sanyal, Kaushik R. Chowdhury:
Impact of Mobile Transmitter Sources on Radio Frequency Wireless Energy Harvesting.
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber:
Linear transformation distance for bichromatic matchings.
(Withdrawn) Row-Based Dual Vdd Assignment, for a Level Converter Free CSA Design and Its Near-Threshold Operation.
Derek Groen, Steven Rieder, Simon Portegies Zwart:
MPWide: a light-weight library for efficient message passing over wide area networks.


Inaki Estella Aguerri, Deniz Gündüz:
Joint Source-Channel Coding with Time-Varying Channel and Side-Information.
Siddhartha Banerjee, Avhishek Chatterjee, Sanjay Shakkottai:
Epidemic Thresholds with External Agents.
Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Medical Aid for Automatic Detection of Malaria.
Eyal En Gad, Eitan Yaakobi, Anxiao Jiang, Jehoshua Bruck:
Rank-Modulation Rewrite Coding for Flash Memories.
Heiner Perrey, Martin Landsmann, Osman Ugus, Thomas C. Schmidt, Matthias Wählisch:
TRAIL: Topology Authentication in RPL.
Anu Mercian, Michael P. McGarry, Martin Reisslein:
Impact of Report Message Scheduling (RMS) in 1G/10G EPON and GPON (Extended Version).
Upul Senanayake, Rahal Prabuddha, Roshan G. Ragel:
High Throughput Virtual Screening with Data Level Parallelism in Multi-core Processors.

Jun Yang, Wei E. I. Sha, Hongyang Chao, Zhu Jin:
Efficient Compressive Sensing Using Mixed Adaptive-Random Measurements.
Adam R. Williamson, Matthew J. Marshall, Richard D. Wesel:
Reliability-output Decoding of Tail-biting Codes.
Tianbao Yang, Shenghuo Zhu, Rong Jin, Yuanqing Lin:
On Theoretical Analysis of Distributed Stochastic Dual Coordinate Ascent.
Aviv Adler, Mark de Berg, Dan Halperin, Kiril Solovey:
Efficient Multi-Robot Motion Planning for Unlabeled Discs in Simple Polygons.
Martin Kowalczyk, Henning Barthel, Jürgen Münch, Jens Heidrich, Adam Trendowicz:
A Deployment Process for Strategic Measurement Systems.
Michael Kläs, Constanza Lampasona, Jürgen Münch:
Adapting Software Quality Models: Practical Challenges, Approach, and First Empirical Results.
Kwabena Doku-Amponsah:
Basic information theory for fitness preferential attachment random networks Via Large deviations.
Constantinos Daskalakis, Gautam Kamath:
Faster and Sample Near-Optimal Algorithms for Proper Learning Mixtures of Gaussians.
K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor:
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis.
Farhad Farokhi, Walid Krichene, Alexandre M. Bayen, Karl Henrik Johansson:
A Necessary and Sufficient Condition for the Existence of Potential Functions for Heterogeneous Routing Games.
Franck Iutzeler, Pascal Bianchi, Philippe Ciblat, Walid Hachem:
Explicit Convergence Rate of a Distributed Alternating Direction Method of Multipliers.

Anna Palczewska, Jan Palczewski, Richard Marchese Robinson, Daniel Neagu:
Interpreting random forest classification models using a feature contribution method.
Zhengzheng Xiang, Meixia Tao, Xiaodong Wang:
Massive MIMO Multicasting in Noncooperative Cellular Networks.
Pedram Pad, Michael Unser:
Optimality of Operator-Like Wavelets for Representing Sparse AR(1) Processes.
Dima Grigoriev, Vladimir Shpilrain:
Yao's millionaires' problem and decoy-based public key encryption by classical physics.
Johannes Köbler, Sebastian Kuhnert, Oleg Verbitsky:
Circular-arc hypergraphs: Rigidity via Connectedness.
Ben de Lacy Costello, Andrew Adamatzky:
Routing of Physarum polycephalum signals using simple chemicals.
David Contreras, Nancy Hitschfeld-Kahler:
Study on Delaunay tessellations of 1-irregular cuboids for 3D mixed element meshes.
Bruce D. Scott, Volker Weinberg, Olivier Hoenen, Anumap Karmakar, Luis Fazendeiro:
Scalability of the plasma physics code GEM.
Anastasia Izmaylova, Paul Klint, Ashim Shahi, Jurgen J. Vinju:
M3: An Open Model for Measuring Code Artifacts.
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.
Yangyang Xu, Ruru Hao, Wotao Yin, Zhixun Su:
Parallel matrix factorization for low-rank tensor completion.
Sandra Payette, Carl Lagoze:
Flexible and Extensible Digital Object and Repository Architecture (FEDORA).
Boris Mitavskiy, Jun He:
Design and Analysis of an Estimation of Distribution Approximation Algorithm for Single Machine Scheduling in Uncertain Environments.


Kaniska Mohanty, Mahesh K. Varanasi:
On the DoF Region of the K-user MISO Broadcast Channel with Hybrid CSIT.
Florin Coras, Jordi Domingo-Pascual, Darrel Lewis, Albert Cabellos-Aparicio:
An Analytical Model for Loc/ID Mappings Caches.
Tsvi Kopelowitz, Robert Krauthgamer, Ely Porat, Shay Solomon:
Orienting Fully Dynamic Graphs with Worst-Case Time Bounds.
Sandra Payette, Thornton Staples:
The Mellon Fedora Project: Digital Library Architecture Meets XML and Web Services.
Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran:
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems.
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl:
Don't sit on the fence: A static analysis approach to automatic fence insertion.
Eugene d'Eon:
Rigorous asymptotic and moment-preserving diffusion approximations for generalized linear Boltzmann transport in d dimensions.

Muhammad Marwan Muhammad Fuad:
ABC-SG: A New Artificial Bee Colony Algorithm-Based Distance of Sequential Data Using Sigma Grams.
Subodh Pudasaini, Seokjoo Shin:
Initial Ranging for Prioritized Network Entry in IEEE 802.16 Network.

M. A. El-Dosuky, M. Z. Rashad, T. T. Hamza, A. H. El-Bassiouny:
Food Recommendation using Ontology and Heuristics.
Liang Liu, Rui Zhang, Kee-Chaing Chua:
Multi-Antenna Wireless Powered Communication with Energy Beamforming.



Fabian Schuh, Johannes B. Huber:
Low Complexity Decoding for Punctured Trellis-Coded Modulation Over Intersymbol Interference Channels.
(Withdrawn) Approximating persistent homology for a cloud of $n$ points in a subquadratic time.
Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
An adaptive block based integrated LDP, GLCM, and Morphological features for Face Recognition.
Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
A Gabor block based Kernel Discriminative Common Vector (KDCV) approach using cosine kernels for Human Face Recognition.
Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
A Face Recognition approach based on entropy estimate of the nonlinear DCT features in the Logarithm Domain together with Kernel Entropy Component Analysis.
Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz:
Vertex Disjoint Path in Upward Planar Graphs.
Jan A. Bergstra, C. A. Middelburg:
Instruction sequence expressions for the Karatsuba multiplication algorithm.
Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo:
Efficient construction of the lattice of frequent closed patterns and simultaneous extraction of generic bases of rules.
Antonis G. Gotsis, Angeliki Alexiou:
On Coordinating Ultra-Dense Wireless Access Networks: Optimization Modeling, Algorithms and Insights.
Tugcan Aktas, Ali Özgür Yilmaz, Emre Aktas:
Performance Analysis of Network Coded Systems Under Quasi-static Rayleigh Fading Channels.
Eugene Kharitonov, Craig Macdonald, Pavel Serdyukov, Iadh Ounis:
Intent Models for Contextualising and Diversifying Query Suggestions.
Manoj Rameshchandra Thakur, Divye Raj Khilnani, Kushagra Gupta, Sandeep Jain, Vineet Agarwal, Suneeta Sane, Sugata Sanyal, Prabhakar S. Dhekne:
Detection and prevention of botnets and malware in an enterprise network.
Magali Bardet, Jean-Charles Faugère, Bruno Salvy:
On the Complexity of the F5 Gröbner basis Algorithm.
Anais Vergne, Laurent Decreusefond, Philippe Martins:
Simplicial homology for future cellular networks.
Ming-Deh Huang, Anand Kumar Narayanan:
On the relation generation method of Joux for computing discrete logarithms.
Sourav Pramanik, Debotosh Bhattacharjee:
An Approach: Modality Reduction and Face-Sketch Recognition.
Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
Face Recognition using Hough Peaks extracted from the significant blocks of the Gradient Image.
Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
High Performance Human Face Recognition using Gabor based Pseudo Hidden Markov Model.
Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
Human Face Recognition using Gabor based Kernel Entropy Component Analysis.
Pat Bosshart, Dan Daly, Martin Izzard, Nick McKeown, Jennifer Rexford, Dan Talayco, Amin Vahdat, George Varghese, David Walker:
Programming Protocol-Independent Packet Processors.
Quan Geng, Hieu T. Do:
On the Capacity Region of Broadcast Packet Erasure Relay Networks With Feedback.
Jérôme Louradour, Christopher Kermorvant:
Curriculum Learning for Handwritten Text Line Recognition.
Jean Barbier, Florent Krzakala, Christophe Schülke:
Compressed sensing and Approximate Message Passing with spatially-coupled Fourier and Hadamard matrices.
Muhammad Marwan Muhammad Fuad:
Particle Swarm Optimization of Information-Content Weighting of Symbolic Aggregate Approximation.
David J. Rosenbaum, Fabian Wagner:
Beating the Generator-Enumeration Bound for $p$-Group Isomorphism.
Yinghao Guo, Jie Xu, Lingjie Duan, Rui Zhang:
Joint Energy and Spectrum Cooperation for Cellular Communication Systems.
Muhammad Marwan Muhammad Fuad:
Towards Normalizing the Edit Distance Using a Genetic Algorithms Based Scheme.
Mohsen Ghaffari, Bernhard Haeupler:
Optimal Error Rates for Interactive Coding II: Efficiency and List Decoding.
Mohsen Ghaffari, Bernhard Haeupler, Madhu Sudan:
Optimal Error Rates for Interactive Coding I: Adaptivity and Other Settings.
Hoon Hong, Xiaoxian Tang, Bican Xia:
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems.
Brijender Kahanwal, Tejinder Pal Singh, Ruchira Bhargava, Girish Pal Singh:
File System - A Component of Operating System.
Jan A. Bergstra, C. A. Middelburg:
Long multiplication by instruction sequences with backward jump instructions.
Brijender Kahanwal, Tejinder Pal Singh:
Java File Security System (JFSS) Evaluation Using Software Engineering Approaches.
Stavros G. Kolliopoulos, Yannis Moysoglou:
Exponential lower bounds on the size of approximate formulations in the natural encoding for Capacitated Facility Location.
Brijender Kahanwal, Tejinder Pal Singh:
Towards the Framework of the File Systems Performance Evaluation Techniques and the Taxonomy of Replay Traces.
Sajid Musa, Rushan Ziatdinov, Carol Griffiths:
Introduction to computer animation and its possible educational applications.
Manindra Agrawal, Rohit Gurjar, Arpita Korwar, Nitin Saxena:
Hitting-sets for low-distance multilinear depth-3.
Youssef Mroueh, Lorenzo Rosasco:
Quantization and Greed are Good: One bit Phase Retrieval, Robustness and Greedy Refinements.
Deeparnab Chakrabarty, Chaitanya Swamy:
Welfare Maximization and Truthfulness in Mechanism Design with Ordinal Preferences.
David Eigen, Jason Tyler Rolfe, Rob Fergus, Yann LeCun:
Understanding Deep Architectures using a Recursive Convolutional Network.
Dominic Wilson, Devinder Kaur:
A New Schema and Landscape for Programs: The Santa Fe Ant Case Study.
Jingon Joung, Yeow-Khiang Chia, Sumei Sun:
Energy-Efficient, Large-scale Distributed-Antenna System (L-DAS) for Multiple Users.

Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
FELFCNCA: Fast & Efficient Log File Compression Using Non Linear Cellular Automata Classifier.
Toni Grütze, Gjergji Kasneci, Zhe Zuo, Felix Naumann:
Bootstrapped Grouping of Results to Ambiguous Person Name Queries.
Hideaki Ishii, Roberto Tempo:
The PageRank Problem, Multi-Agent Consensus and Web Aggregation - A Systems and Control Viewpoint.
Robin Aly, Maria Eskevich, Roeland Ordelman, Gareth J. F. Jones:
Adapting Binary Information Retrieval Evaluation Metrics for Segment-based Retrieval Tasks.

Carlos Ameixieira, André Cardote, Filipe Neves, Rui Meireles, Susana Sargento, Luís Coelho, João Afonso, Bruno Areias, Eduardo Mota, Rui A. Costa, Ricardo Matos, João Barros:
HarborNet: A Real-World Testbed for Vehicular Networks.
Liheng Bian, Jin-Li Suo, Feng Chen, Qionghai Dai:
Denoising High Speed Optical Coherence Tomography Data Using Inter-frame and Intra-frame Priors.

Marc Bui, Franck Butelle, Christian Lavault:
A Distributed Algorithm for Constructing a Minimum Diameter Spanning Tree.
Sarwat Nizamani, Nasrullah Memon, Uffe Kock Wiil, Panagiotis Karampelas:
Modeling Suspicious Email Detection using Enhanced Feature Selection.
Lorenzo Maggi, Francesco De Pellegrini:
Not Always Sparse: Flooding Time in Partially Connected Mobile Ad Hoc Networks.


Hui Zhou, Donglin Hu, Saketh Anuma Reddy, Shiwen Mao, Prathima Agrawal:
On Cell Association and Scheduling Policies in Femtocell Networks.
Daphney-Stavroula Zois, Marco Levorato, Urbashi Mitra:
Active Classification for POMDPs: a Kalman-like State Estimator.
Ansuman Adhikary, Ebrahim Al Safadi, Mathew Samimi, Rui Wang, Giuseppe Caire, Theodore S. Rappaport, Andreas F. Molisch:
Joint Spatial Division and Multiplexing for mm-Wave Channels.

Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Power-Aware Hybrid Intrusion Detection System (PHIDS) using Cellular Automata in Wireless AdHoc Networks.
Krishna A. N, B. G. Prasad:
Region and Location Based Indexing and Retrieval of MR-T2 Brain Tumor Images.
Debajit Sensarma, Koushik Majumder:
A Novel Hierarchical Ant based QoS aware Intelligent Routing Scheme for MANETS.

Ali Azimi, Azar Kaffashpour:
Applying the Apriori algorithm for investigating the relationships between demographic characteristics of Iranian top 100 enterprises and the strcture of their commercial website.

Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo:
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3.
Nicholas H. Kirk:
Towards Structural Natural Language Formalization: Mapping Discourse to Controlled Natural Language.
Rui Guo, Hongzhi Wang, Mengwen Chen, Jianzhong Li, Hong Gao:
Parallelization in Extracting Fresh Information from Online Social Network.
Rui Guo, Hongzhi Wang, Lucheng Zhong, Jianzhong Li, Hong Gao:
Harbinger: An Analyzing and Predicting System for Online Social Network Users' Behavior.
Djamel Benmerzoug, Salim Djaaboub, Hani Mahmoudi:
Engineering Cooperative JADE Agents with the AMCIS Methodology: The Transportation Management Case Study.
Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit A. Seshia:
Robust Subspace System Identification via Weighted Nuclear Norm Optimization.
Karthikeyan Shanmugam, Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Giuseppe Caire:
A Repair Framework for Scalar MDS Codes.
Dimitri Palaz, Ronan Collobert, Mathew Magimai-Doss:
End-to-end Phoneme Sequence Recognition using Convolutional Neural Networks.
Peyman Mohammadi, Abdolreza Hatamlou, Mohammad Masdari:
A Comparative Study on Remote Tracking of Parkinsons Disease Progression Using Data Mining Methods.
Ryan O'Donnell, Xiaorui Sun, Li-Yang Tan, John Wright, Yu Zhao:
A composition theorem for parity kill number.
Tomoki Kobayashi, Koji Eguchi:
Sequential Monte Carlo Inference of Mixed Membership Stochastic Blockmodels for Dynamic Social Networks.
Christopher G. Brinton, Mung Chiang, Shaili Jain, Henry Lam, Zhenming Liu, Felix Ming Fai Wong:
Learning about social learning in MOOCs: From statistical analysis to generative model.
Farzad Farnoud, Olgica Milenkovic:
Multipermutation Codes in the Ulam Metric for Nonvolatile Memories.
Nan Du, Yingyu Liang, Maria-Florina Balcan, Le Song:
Continuous-Time Influence Maximization for Multiple Items.
Ahmad Abu Al Haija, Mai Vu:
Spectral Efficiency and Outage Performance for Device-to-Device Cooperation in Uplink Cellular Communication.
Norman Huang, Allan Borodin:
Bounds on Double-Sided Myopic Algorithms for Unconstrained Non-monotone Submodular Maximization.
(Withdrawn) Ant Colony based Routing for Mobile Ad-Hoc Networks towards Improved Quality of Services.
R. V. Mayer:
Solve of problems of mathematical theory of learning with using computer modeling methods.
Jiang Zhu, Xiaohan Wang, Yuantao Gu:
Maximum Likelihood Estimation from Sign Measurements with Sensing Matrix Perturbation.
Fotis Foukalas, George T. Karetsos, Periklis Chatzimisios:
Cross-layer Design of CSMA/CA with Spectrum Sensing for Cognitive Radio Networks.

(Withdrawn) A Cache Energy Optimization Technique for STT-RAM Last Level Cache.
Philip K. F. Hölzenspies:
Proceedings Second Workshop on Trends in Functional Programming In Education, TFPIE 2013, Provo, Utah, USA, 13th May 2013. EPTCS 136, 2013 [contents]
Szymon Grabowski:
New tabulation and sparse dynamic programming based techniques for sequence similarity problems.
Nobuko Yoshida, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 [contents]



Rajet Krishnan, Giulio Colavolpe, Alexandre Graell i Amat, Thomas Eriksson:
Algorithms for Joint Phase Estimation and Decoding for MIMO Systems in the Presence of Phase Noise.
Mustafa H. Hajeer, Alka Singh, Dipankar Dasgupta, Sugata Sanyal:
Clustering online social network communities using genetic algorithms.
Mohammad Noormohammadpour, Mohammad Javad Salehi, Seyed Mohammad Asghari Pari, Babak Hossein Khalaj, Hamidreza Bagheri, Marcos D. Katz:
ABMQ: An Agent-Based Modeler and Simulator for Self-Organization in MANETs using Qt.
N. Mavridis, Stasinos Konstantopoulos, Ioannis A. Vetsikas, I. Heldal, Pythagoras Karampiperis, G. Mathiason, Serge Thill, K. Stathis, Vangelis Karkaletsis:
CLIC: A Framework for Distributed, On-Demand, Human-Machine Cognitive Systems.
Virginia Maria Araujo, José Ayude Vazquez:
Business and technical requirements of Software-as-a-Service: Implications in portuguese enterprise business context.
Neki Frasheri:
E-Governance, International Cooperation and Security - New Millennium Challenges for a Small Country.
Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov:
Scalable Object Detection using Deep Neural Networks.
Tianxian Zhang, Xiang-Gen Xia, Lingjiang Kong:
IRCI Free Range Reconstruction for SAR Imaging with Arbitrary Length OFDM Pulse.


Rajendra Patel, Arvind Rajawat:
Dominant block guided optimal cache size estimation to maximize IPC of embedded software.
Ansgar Lamersdorf, Jürgen Münch, Alicia Fernández del Viso Torre, Carlos Rebate Sánchez:
A Risk-driven Model for Work Allocation in Global Software Development Projects.
A. Meiappane, V. Prasanna Venkatesan, S. Selva Murugan, A. Arun, A. Ramachandran:
Architectural Pattern of Health Care System Using GSM Networks.
A. Meiappane, V. Prasanna Venkatesan, V. Jegatheeswari, B. Kalpana, U. Sarumathy:
Pattern Based Adaptive Architecture for Internet Banking.
A. Meiappane, J. Prabavadhi, V. Prasanna Venkatesan:
Strategy pattern: payment pattern for Internet banking.

Pin-Hsun Lin, Gabriel Porto Villardi, Zhou Lan, Hiroshi Harada:
Practical Design for Multiple-Antenna Cognitive Radio Networks with Coexistence Constraint.
A. Meiappane, V. Prasanna Venkatesan, J. Prabavadhi:
Visitor Pattern: Implementation of Enquiry Pattern for Internet Banking.
A. Meiappane, B. Chithra, V. Prasanna Venkataesan:
Evaluation of Software Architecture Quality Attribute for an Internet Banking System.
A. Meiappane, V. Prasanna Venkataesan:
Request and notification Pattern for an internet banking System.
Davide Martinenghi:
On the difference between checking integrity constraints before or after updates.
Davide Martinenghi:
On the dependency on the size of the data when chasing under conceptual dependencies.
Shenglong Zhou, Naihua Xiu, Yingnan Wang, Lingchen Kong:
Exact Recovery for Sparse Signal via Weighted l_1 Minimization.
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering.
Ramachandra Rao Kurada, K. Karteeka Pavan, A. V. Dattatreya Rao:
A preliminary survey on optimized multiobjective metaheuristic methods for data clustering using evolutionary approaches.
George Christodoulou, Annamária Kovács, Alkmini Sgouritsa, Bo Tang:
Tight Bounds for the Price of Anarchy of Simultaneous First Price Auctions.
Ramachandra Rao Kurada, K. Karteeka Pavan:
Novel text categorization by amalgamation of augmented k-nearest neighborhood classification and k-medoids clustering.
Ramachandra Rao Kurada:
Unsupervised classification of uncertain data objects in spatial databases using computational geometry and indexing techniques.
Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica, Alessio Langiu, Jakub Radoszewski, Wojciech Rytter, Bartosz Szreder, Tomasz Walen:
A Note on the Longest Common Compatible Prefix Problem for Partial Words.
Griffith S. Klogo, Akpeko Gasonoo, Isaac K. E. Ampomah:
On the Performance of Filters for Reduction of Speckle Noise in SAR Images off the Coast of the Gulf of Guinea.
Mourine Achieng, Ephias Ruhode:
The adoption and challenges of electronic voting technologies within the South African context.

Mike E. Davies, Gilles Puy, Pierre Vandergheynst, Yves Wiaux:
Compressed Quantitative MRI: Bloch Response Recovery through Iterated Projection.
Mike E. Davies, Gilles Puy, Pierre Vandergheynst, Yves Wiaux:
A Compressed Sensing Framework for Magnetic Resonance Fingerprinting.
Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
An Analog Baseband Approach for Designing Full-Duplex Radios.
Jesse Berwald, Marian Gidea, Mikael Vejdemo-Johansson:
Automatic recognition and tagging of topologically different regimes in dynamical systems.
Thomas Holenstein, Robin Künzler:
A Protocol for Generating Random Elements with their Probabilities.
Thomas Holenstein, Robin Künzler:
A New View on Worst-Case to Average-Case Reductions for NP Problems.
Martin Wimmer, Daniel Cederman, Francesco Versaci, Jesper Larsson Träff, Philippas Tsigas:
Data Structures for Task-based Priority Scheduling.
Matthias Mnich, Tobias Mömke:
Improved integrality gap upper bounds for TSP with distances one and two.
Daniela Inclezan:
An Application of Answer Set Programming to the Field of Second Language Acquisition.
Vaibhav Kumar Mehta, Filippo Arrichiello:
Connectivity maintenance by robotic Mobile Ad-hoc NETwork.
Trevor Owens:
Mr. Moo's First RPG: Rules, Discussion and the Instructional Implications of Collective Intelligence on the Open Web.
Guilherme Luiz Moritz, João Luiz Rebelatto, Richard Demo Souza, Bartolomeu F. Uchôa Filho, Yonghui Li:
Time-Switching Uplink Network-Coded Cooperative Communication with Downlink Energy Transfer.
Adrian Dumitrescu, Minghui Jiang:
On the approximability of covering points by lines and related problems.
(Withdrawn) A state vector algebra for algorithmic implementation of second-order logic.
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract Interpretation of Temporal Concurrent Constraint Programs.
Yuxin Chen, Andrea J. Goldsmith, Yonina C. Eldar:
Backing off from Infinity: Tight Performance Bounds for Large Random Vector Channels.
Cong Li, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Output-Space Distance Metric Learning for k-NN Classification.
Kerimbayev Nurassyl, Aliya Akramova, Suleimenova Jarkynbike:
E-learning for ungraded schools of Kazakhstan: experience, implementation, and innovation.
Lina Ramirez, Ian Dobson:
Monitoring voltage collapse margin by measuring the area voltage across several transmission lines with synchrophasors.
Cong Li, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Multi-Task Classification Hypothesis Space with Improved Generalization Bounds.
Carlton A. Thompson, Haniph A. Latchman, Nathan Angelacos, Bharath Kumar Pareek:
A Distributed IP-Based Telecommunication System using SIP.
Ibrahim Umar, Otto J. Anshus, Phuong Hoai Ha:
DeltaTree: A Practical Locality-aware Concurrent Search Tree.
Yongcai Wang, Haoran Feng, Xiangyu Xi:
Sense, Model and Identify the Load Signatures of HVAC Systems in Metro Stations.
Yongcai Wang, Haoran Feng, Xiao Qi:
SEED: Public Energy and Environment Dataset for Optimizing HVAC Operation in Subway Stations.
Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
The Throughput-Outage Tradeoff of Wireless One-Hop Caching Networks.
Pokkuluri Kiran Sree, G. V. S. Raju, S. Viswanadha Raju, N. S. S. S. N. Usha Devi:
Cellular Automata based Feedback Mechanism in Strengthening biological Sequence Analysis Approach to Robotic Soccer.
Akira Otsuki, Masayoshi Kawamura:
The Study about the Analysis of Responsiveness Pair Clustering to Social Network Bipartite Graph.
Sidhant Misra, Michael W. Fisher, Scott Backhaus, Russell Bent, Michael Chertkov, Feng Pan:
Optimal compression in natural gas networks: a geometric programming approach.
R. H. Vishwanath, T. V. Samartha, K. C. Srikantaiah, K. R. Venugopal, Lalit M. Patnaik:
DRSP : Dimension Reduction For Similarity Matching And Pruning Of Time Series Data Streams.
Austin R. Benson, Sven Schmit, Robert Schreiber:
Silent error detection in numerical time-stepping schemes.
S. Hanumanth Sastry, M. S. Prasada Babu:
Analysis & Prediction of Sales Data in SAP-ERP System using Clustering Algorithms.
Gokul Sridharan, Wei Yu:
Degrees of Freedom of MIMO Cellular Networks: Decomposition and Linear Beamforming Design.
Xiaoshi Song, Changchuan Yin, Danpu Liu, Rui Zhang:
Spatial Throughput Characterization in Cognitive Radio Networks with Threshold-Based Opportunistic Spectrum Access.

Cinzia Di Giusto, Jorge A. Pérez:
Session Types with Runtime Adaptation: Overview and Examples. 21-32


Ashkan Tousimojarad, Wim Vanderbauwhede:
The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition. 79-94
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins:
Towards deductive verification of MPI programs against session types. 103-113
Romain Demeyer, Wim Vanhoof:
Static Application-Level Race Detection in STM Haskell using Contracts. 115-134
Simon Dobson, Alan Dearle, Barry Porter:
Minimising virtual machine support for concurrency. 135-141
Anugrah Kumar, Sanjiban Shekar Roy, Sarvesh S. S. Rawat, Sanklan Saxena:
Phishing Detection by determining reliability factor using rough set theory.
Sarvesh S. S. Rawat, Dheeraj Dilip Mor, Anugrah Kumar, Sanjiban Shekar Roy, Rohit Kumar:
Improving circuit miniaturization and its efficiency using Rough Set Theory.
Aurélie Lagoutte, Théophile Trunck:
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions.
Srishti Gupta, Ponnurangam Kumaraguru:
OCEAN: Open-source Collation of eGovernment data And Networks - Understanding Privacy Leaks in Open Government Data.
Mathis Seidl, Johannes B. Huber:
An efficient length- and rate-preserving concatenation of polar and repetition codes.
Doreswamy, Chanabasayya M. Vastrad:
Performance Analysis Of Regularized Linear Regression Models For Oxazolines And Oxazoles Derivitive Descriptor Dataset.
Daniel Torres-Salinas, Nicolas Robinson-Garcia, Juan Miguel Campanario, Emilio Delgado López-Cózar:
Coverage, field specialization and impact of scientific publishers indexed in the 'Book Citation Index'.
Simon Arberet, Pierre Vandergheynst:
Reverberant Audio Source Separation via Sparse and Low-Rank Modeling.
Shao Fen Liang, Donia Scott, Robert Stevens, Alan L. Rector:
OntoVerbal: a Generic Tool and Practical Application to SNOMED CT.
Susumu Matsumae, Fukuhito Ooshita:
Hierarchical Low Power Consumption Technique with Location Information for Sensor Networks.
Susumu Matsumae:
Polylogarithmic Gap between Meshes with Reconfigurable Row/Column Buses and Meshes with Statically Partitioned Buses.
Susumu Matsumae:
Energy-Efficient Cell Partition of 3D Space for Sensor Networks with Location Information.

Konstantinos Charalampous, Ioannis Kostavelis, Dimitrios Chrysostomou, Angelos Amanatiadis, Antonios Gasteratos:
3D Maps Registration and Path Planning for Autonomous Robot Navigation.
Doreswamy, Chanabasayya M. Vastrad:
Predictive Comparative QSAR Analysis Of As 5-Nitofuran-2-YL Derivatives Myco bacterium tuberculosis H37RV Inhibitors Bacterium Tuberculosis H37RV Inhibitors.
Doreswamy, Chanabasayya M. Vastrad:
Performance Analysis Of Neural Network Models For Oxazolines And Oxazoles Derivatives Descriptor Dataset.
Doreswamy, Chanabasayya M. Vastrad:
A Robust Missing Value Imputation Method MifImpute For Incomplete Molecular Descriptor Data And Comparative Analysis With Other Missing Value Imputation Methods.
Doreswamy, Chanabasayya M. Vastrad:
Identification Of Outliers In Oxazolines AND Oxazoles High Dimension Molecular Descriptor Dataset Using Principal Component Outlier Detection Algorithm And Comparative Numerical Study Of Other Robust Estimators.
Doreswamy, Chanabasayya M. Vastrad:
Study Of E-Smooth Support Vector Regression And Comparison With E- Support Vector Regression And Potential Support Vector Machines For Prediction For The Antitubercular Activity Of Oxazolines And Oxazoles Derivatives.
Victoriano Valencia García, Eugenio J. Fernández Vicente, Luis Usero Aragonés:
Maturity Model for IT Service Outsourcing in Higher Education Institutions.
Ioannis Z. Emiris, Vissarion Fisikopoulos:
Efficient Random-Walk Methods for Approximating Polytope Volume.
Mohammad H. Alomari, Aya Samaha, Khaled AlKamha:
Automated Classification of L/R Hand Movement EEG Signals using Advanced Feature Extraction and Machine Learning.
Muhammad Usman Sheikh, Jukka Lempiäinen:
Advanced Antenna Techniques and High Order Sectorization with Novel Network Tessellation for Enhancing Macro Cell Capacity in DC-HSDPA Network.
Julien Baste, Ignasi Sau:
The role of planarity in connectivity problems parameterized by treewidth.
Marta Cialdea Mayer:
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version).
Rishi Saket:
Hardness of Finding Independent Sets in 2-Colorable Hypergraphs and of Satisfiable CSPs.



S. Hossein Seyedmehdi, Gary Boudreau:
An Efficient Clustering Algorithm for Device-to-Device Assisted Virtual MIMO.
Atena Darvishi, Ian Dobson:
Synchrophasor monitoring of single line outages via area angle and susceptance.
Foto N. Afrati, Dimitris Fotakis, Angelos Vasilakopoulos:
Efficient Lineage for SUM Aggregate Queries.
Dan C. Marinescu, Ashkan Paya, John P. Morrison, Philip D. Healy:
An Auction-driven Self-organizing Cloud Delivery Model.
Andrew Wan, John Wright, Chenggang Wu:
Decision Trees, Protocols, and the Fourier Entropy-Influence Conjecture.
Ciprian Chelba, Tomas Mikolov, Mike Schuster, Qi Ge, Thorsten Brants, Phillipp Koehn:
One Billion Word Benchmark for Measuring Progress in Statistical Language Modeling.
Abdullah Gharaibeh, Elizeu Santos-Neto, Lauro Beltrão Costa, Matei Ripeanu:
Efficient Large-Scale Graph Processing on Hybrid CPU and GPU Systems.
Venkatesan Guruswami, Ali Kemal Sinop:
Rounding Lasserre SDPs using column selection and spectrum-based approximation schemes for graph partitioning and Quadratic IPs.
Fan Zhang, Vincent K. N. Lau:
Cross-Layer MIMO Transceiver Optimization for Multimedia Streaming in Interference Networks.
Ansgar Lamersdorf, Jürgen Münch, H. Dieter Rombach:
A Decision Model for Supporting Task Allocation Processes in Global Software Development.
Pham Luu Trung Duong, Moonyong Lee:
Deterministic and stochastic analysis of distributed order systems using operational matrix.
Istiadi, Emma Budi Sulistiarini:
Representing Knowledge Base into Database for WAP and Web-based Expert System.
Jingdong Wang, Jing Wang, Qifa Ke, Gang Zeng, Shipeng Li:
Fast Approximate $K$-Means via Cluster Closures.
Jingdong Wang, Jing Wang, Gang Zeng, Rui Gan, Shipeng Li, Baining Guo:
Fast Neighborhood Graph Search using Cartesian Concatenation.
Marcin Kozak, Lutz Bornmann, Loet Leydesdorff:
How have the Eastern European countries of the former Warsaw Pact developed since 1990? A bibliometric study.
Christian Häger, Lotfollah Beygi, Erik Agrell, Pontus Johannisson, Magnus Karlsson, Alexandre Graell i Amat:
A Low-Complexity Detector for Memoryless Polarization-Multiplexed Fiber-Optical Channels.
R. V. Mayer:
Various models of process of the learning, based on the numerical solution of the differential equations.
Joao Pedro Couto, Teresa Tiago, Flavio Tiago:
An analysis of Internet Banking in Portugal: the antecedents of mobile banking adoption.
Stefan Rass:
Blind Turing-Machines: Arbitrary Private Computations from Group Homomorphic Encryption.
R. Ram Kumar, Kannan Balakrishnan, Manoj Changat, A. Sreekumar, Prasanth G. Narasimha-Shenoi:
On The Center Sets and Center Numbers of Some Graph Classes.
Adedayo M. Balogun, Shao Ying Zhu:
Privacy Impacts of Data Encryption on the Efficiency of Digital Forensics Technology.
Victor Alvarez, Karl Bringmann, Saurabh Ray:
A Simple Sweep Line Algorithm for Counting Triangulations and Pseudo-triangulations.
Natalia Silberstein, Ankit Singh Rawat, Sriram Vishwanath:
Error-Correcting Regenerating and Locally Repairable Codes via Rank-Metric Codes.
Mahtab Mirmohseni, Panagiotis Papadimitratos:
Scaling Laws for Secrecy Capacity in Cooperative Wireless Networks.
Rahele Kafieh, Hossein Rabbani, Fedra Hajizadeh, Michael D. Abràmoff, Milan Sonka:
Thickness Mapping of Eleven Retinal Layers in Normal Eyes Using Spectral Domain Optical Coherence Tomography.
Mahtab Mirmohseni, Panagiotis Papadimitratos:
Constrained Colluding Eavesdroppers: An Information-Theoretic Model.
Akram Aldroubi, Jacqueline Davis, Ilya A. Krishtal:
Exact Reconstruction of Spatially Undersampled Signals in Evolutionary Systems.
Attila Pásztor, Róbert Pap-Szigeti, Erika Lakatos Török:
Mobile Robots in Teaching Programming for IT Engineers and its Effects.
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek:
How to deal with malleability of BitCoin transactions.
Alexander Vezhnevets, Vittorio Ferrari:
Associative embeddings for large-scale knowledge transfer with self-assessment.
Hien Thi Thu Truong, Eemil Lagerspetz, Petteri Nurmi, Adam J. Oliner, Sasu Tarkoma, N. Asokan, Sourav Bhattacharya:
The Company You Keep: Mobile Malware Infection Rates and Inexpensive Risk Indicators.
Antoine Amarilli, Yael Amsterdamer, Tova Milo:
On the Complexity of Mining Itemsets from the Crowd Using Taxonomies.
Nayan Jyoti Kalita, Navanath Saharia, Smriti Kumar Sinha:
Towards The Development of a Bishnupriya Manipuri Corpus.
Hailong Shi, Hao Zhang, Xiqin Wang:
A Stable Embedding Phenomenon of Signals on the Grassmann Manifold from Compressive Measurements.
Jie Chen, Gang Wang, Jian Sun, Yongjian Cai:
Kalman Filtering Under Innovation-Based Power Scheduling and Data Packet Drops.
Antonio J. Durán, Mario Pérez, Juan Luis Varona:
Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
Nathalie Revol, Philippe Théveny:
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms.
Franck Butelle, Christian Lavault, Marc Bui:
A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm.
Alexandre J. Pierrot, Remi A. Chou, Matthieu R. Bloch:
Practical Limitations of Secret-Key Generation in Narrowband Wireless Environments.
Peruvemba Sundaram Ravi, Levent Tunçel, Michael Huang:
Worst-Case Performance Analysis of Some Approximation Algorithms for Minimizing Makespan and Flow-Time.
Mohamed Naimi, Ousmane Thiare:
A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion.
Dmitri V. Truhachev, David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello Jr.:
New Codes on Graphs Constructed by Connecting Spatially Coupled Chains.
Yong Hsia, Ruey-Lin Sheu:
On RIC bounds of Compressed Sensing Matrices for Approximating Sparse Solutions Using ℓq Quasi Norms.
Randal S. Olson, Zachary P. Neal:
Navigating the massive world of reddit: Using backbone networks to map user interests in social media.

Masrour Zoghi, Shimon Whiteson, Rémi Munos, Maarten de Rijke:
Relative Upper Confidence Bound for the K-Armed Dueling Bandit Problem.
Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Albert Dumont:
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems.
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version.

Xinyu Lei, Xiaofeng Liao, Yonghong Xiong:
Group Key Agreement Protocol for MANETs Based on HSK Scheme.

Prachi Jain, Ponnurangam Kumaraguru:
Call Me MayBe: Understanding Nature and Risks of Sharing Mobile Numbers on Online Social Networks.
Pradip Debnath:
Some results of domination and total domination in the direct product of two fuzzy graphs.
Dimitris Bertsimas, Ebrahim Nasrabadi, James B. Orlin:
On the power of randomization in network interdiction.

Weizhi Lu, Weiyu Li, Kidiyo Kpalma, Joseph Ronsin:
Sparsest Matrix based Random Projection for Classification.
Dedi Rianto Rahadi, Leon Andretti Abdillah:
The utilization of social networking as promotion media (Case study: Handicraft business in Palembang).
Md. Jawaherul Alam, Michael A. Bekos, Michael Kaufmann, Philipp Kindermann, Stephen G. Kobourov, Alexander Wolff:
Smooth Orthogonal Drawings of Planar Graphs.

Rupam Acharyya, Sourav Chakraborty, Nitesh Jha:
Counting Popular Matchings in House Allocation Problems.
Michael P. May:
A closed-form solution for the flat-state geometry of cylindrical surface intersections bounded on all sides by orthogonal planes.

Alphan Sahin, Erdem Bala, Ismail Güvenç, Rui Yang, Hüseyin Arslan:
Partially Overlapping Tones for Uncoordinated Networks.
Marc Lichtman, Jeffrey H. Reed, T. Charles Clancy, Mark Norton:
Vulnerability of LTE to Hostile Interference.
Bao Hoai Lam, Tai Tan Phan, Long Huynh Vuong, Hiep Xuan Huynh, Bernard Pottier:
Designing a brown planthoppers surveillance network based on wireless sensor network approach.
Jianhua Mo, Meixia Tao, Yuan Liu, Rui Wang:
Secure Beamforming for MIMO Two-Way Communications with an Untrusted Relay.
Robert V. Mayer:
The solution of complex problems on calculation of the electrostatic fields on lessons on computer modeling.
Sang Won Bae, Matias Korman, Yoshio Okamoto, Haitao Wang:
Computing the L1 Geodesic Diameter and Center of a Simple Polygon in Linear Time.
Pierluigi Gallo, Ilenia Tinnirello, Laura Giarré, Domenico Garlisi, Daniele Croce, Adriano Fagiolini:
ARIANNA: pAth Recognition for Indoor Assisted NavigatioN with Augmented perception.
Amiraj Dhawan, Parag Oak, Rahul Mishra, George Puthanpurackal:
Path Based Mapping Technique for Robots.
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10.
Yuanyu Zhang, Yulong Shen, Hua Wang, Xiaohong Jiang:
On Eavesdropper-Tolerance Capability of Two-Hop Wireless Networks.
Nicola Basilico, Nicola Gatti, Luca Goffredi, Matteo Cesana:
Beaconing-Aware Optimal Policies for Two-Hop Routing in Multi-Class Delay Tolerant Networks.
Sounaka Mishra, Ashwin Pananjady, N. Safina Devi:
On the Complexity of Making a Distinguished Vertex Minimum or Maximum Degree by Vertex Deletion.
S. Dharini, M. Guru Prasad, V. Hari Haran, J. L. Kiran Tej, Kunal Ghosh:
Analysis and Understanding of Various Models for Efficient Representation and Accurate Recognition of Human Faces.
Nicolas Dugué, Vincent Labatut, Anthony Perez:
Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter.
Benjamin Wilking, Daniel Alexander Meissner, Stephan Reuter, Klaus Dietmayer:
Information Maps: A Practical Approach to Position Dependent Parameterization.
Frank Sehnke:
Efficient Baseline-free Sampling in Parameter Exploring Policy Gradients: Super Symmetric PGPE.




Stephen J. Bensman:
Eugene Garfield, Francis Narin, and PageRank: The Theoretical Bases of the Google Search Engine.

Vittorio Bilò, Michele Flammini, Gianpiero Monaco:
Approximating the Revenue Maximization Problem with Sharp Demands.
Panagiotis Cheilaris, Elena Khramtcova, Stefan Langerman, Evanthia Papadopoulou:
A Randomized Incremental Approach for the Hausdorff Voronoi Diagram of Non-crossing Clusters.
Ruben Becker, Andreas Karrenbauer:
A Combinatorial $\tilde{O}(m^{3/2})$-time Algorithm for the Min-Cost Flow Problem.
Xi He, Ashwin Machanavajjhala, Bolin Ding:
Blowfish Privacy: Tuning Privacy-Utility Trade-offs using Policies.


Mark Borgerding, Philip Schniter:
Generalized Approximate Message Passing for the Cosparse Analysis Model.
Michael R. Smith, Tony R. Martinez:
An Extensive Evaluation of Filtering Misclassified Instances in Supervised Classification Tasks.
Tommaso Urli:
Balancing bike sharing systems (BBSS): instance generation from the CitiBike NYC data.
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification.
Nima Hatami, Reza Ebrahimpour, Reza Ghaderi:
ECOC-Based Training of Neural Networks for Face Recognition.
Ping-Chung Wang, Yu-Chih Huang, Krishna R. Narayanan:
Asynchronous Compute-and-Forward/Integer-Forcing with Qusai-Cyclic Codes.
Yannis Tzitzikas:
A Simple Method to Produce Algorithmic MIDI Music based on Randomness, Simple Probabilities and Multi-Threading.
Xiongfeng Geng, Yongcai Wang, Haoran Feng, Zhoufeng Chen:
Hybrid Radio-map for Noise Tolerant Wireless Indoor Localization.
Piotr Skowron, Piotr Faliszewski, Arkadii M. Slinko:
Achieving Fully Proportional Representation: Approximability Results.
Apoorv Narang, Srikanta J. Bedathur:
Mind Your Language: Effects of Spoken Query Formulation on Retrieval Effectiveness.

M. A. El-Dosuky:
CACO : Competitive Ant Colony Optimization, A Nature-Inspired Metaheuristic For Large-Scale Global Optimization.
Lam Thu Bui, Van Vien Mac:
Toward an agent based distillation approach for protesting crowd simulation.
Srinjoy Ganguly, Arpita Chakraborty, Mrinal Kanti Naskar:
A Trust-based Framework for Congestion-aware Energy Efficient Routing in Wireless Multimedia Sensor Networks.
Srinjoy Ganguly, Digbalay Bose, Amit Konar:
Clustering using Vector Membership: An Extension of the Fuzzy C-Means Algorithm.
Rodrigo Lopez-Pablos:
Elementos de ingeniería de explotación de la información: réplica y algunos trazos sobre teoría informática.
Arpita Chakraborty, Srinjoy Ganguly, Mrinal Kanti Naskar, Anupam Karmakar:
A Trust Based Congestion Aware Hybrid Ant Colony Optimization Algorithm for Energy Efficient Routing in Wireless Sensor Networks (TC-ACO).
Ahmad Mozaffari, Alireza Fathi:
A natural-inspired optimization machine based on the annual migration of salmons in nature.
Asma Mesmoudi, Mohammed Feham, Nabila Labraoui:
Wireless sensor networks localization algorithms: a comprehensive survey.
(Withdrawn) On Dissemination Time of Random Linear Network Coding in Ad-hoc Networks.
Edouard Grave, Guillaume Obozinski, Francis R. Bach:
Domain adaptation for sequence labeling using hidden Markov models.
Ferhat Özgür Çatak, Mehmet Erdal Balaban:
A MapReduce based distributed SVM algorithm for binary classification.
Nicholas Mattei, Thomas Dodson, Joshua T. Guerin, Judy Goldsmith, Joan M. Mazur:
Lessons Learned from Creating a Course Advising Tool.

Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu:
Model Counting of Query Expressions: Limitations of Propositional Methods.
Ashraf M. Mohy Eldin, Aliaa A. A. Youssif:
A Hybrid Approach for Co-Channel Speech Segregation based on CASA, HMM Multipitch Tracking, and Medium Frame Harmonic Model.

Andrew Adamatzky:
Towards slime mould colour sensor: Recognition of colours by Physarum polycephalum.
David Espès, Ana-Maria Pistea, Charles Canaff, Ioana Iordache, Philippe Le Parc, Emanuel Radoi:
New Method for Localization and Human Being Detection using UWB Technology: Helpful Solution for Rescue Robots.
Congduc Pham, S. Mamour Diop, Ousmane Thiare:
Selecting source image sensor nodes based on 2-hop information to improve image transmissions to mobile robot sinks in search \& rescue operations.
Satyajit Rath, B. P. S. Sahoo, S. K. Pandey, D. P. Sandha:
Multi-Parameter Decision Support with Data Transmission over GSM/GPRS Network: a Case Study of Landslide Monitoring.

Kamal Chandra Reddy, Ankit Tharwani, Ch. Vamshi Krishna, V. Lakshminarayanan:
Parallel Firewalls on General-Purpose Graphics Processing Units.
James Gerald Holland Whiting, Ben de Lacy Costello, Andrew Adamatzky:
Towards slime mould chemical sensor: Mapping chemical inputs onto electrical potential dynamics of Physarum Polycephalum.
Dimitris Fotakis, Ioannis Milis, Emmanouil Zampetakis, Georgios Zois:
Scheduling MapReduce Jobs on Unrelated Processors.
Wei Chen, Yiannis Andreopoulos, Ian J. Wassell, Miguel R. D. Rodrigues:
Unlocking Energy Neutrality in Energy Harvesting Wireless Sensor Networks: An Approach Based on Distributed Compressed Sensing.

Aiping Huang, William Zhu:
Geometric lattice structure of covering and its application to attribute reduction through matroids.
Aiping Huang, William Zhu:
Connectedness of graphs and its application to connected matroids through covering-based rough sets.
Cunsheng Ding, Qi Wang, Maosheng Xiong:
Three New Families of Zero-difference Balanced Functions with Applications.
Sandeep Kaur, Harjot Kaur, Sumeet Kaur Sehra:
Modification of Contract Net Protocol(CNP) : A Rule-Updation Approach.


Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani:
Strategic Argumentation is NP-Complete.
David Eigen, Marc'Aurelio Ranzato, Ilya Sutskever:
Learning Factored Representations in a Deep Mixture of Experts.
Disa Mhembere, William R. Gray Roncal, Daniel L. Sussman, Carey E. Priebe, Rex E. Jung, Sephira Ryman, R. Jacob Vogelstein, Joshua T. Vogelstein, Randal C. Burns:
Computing Scalable Multivariate Glocal Invariants of Large (Brain-) Graphs.

Marius Buliga, Louis H. Kauffman:
GLC actors, artificial chemical connectomes, topological issues and knots.
Rosa Maria Videira de Figueiredo, Yuri Frota:
An improved Branch-and-cut code for the maximum balanced subgraph of a signed graph.
Noritaka Sato, Masataka Ito, Yoshifumi Morita, Fumitoshi Matsuno:
Teleoperation System Using Past Image Records Considering Narrow Communication Band.
Tim Genewein, Daniel A. Braun:
Abstraction in decision-makers with limited information processing capabilities.
Maurizio Adriano Strangio:
On the Security of Wang's Provably Secure Identity-based Key Agreement Protocol.
Daoyi Dong, Chunlin Chen, Ruixing Long, Bo Qi, Ian R. Petersen:
Sampling-based Learning Control for Quantum Systems with Hamiltonian Uncertainties.
Eren Golge, Pinar Duygulu:
Rectifying Self Organizing Maps for Automatic Concept Learning from Web Images.


Changseok Yoon, Sung Sik Nam, Sung Ho Cho:
Technical Report: A New Multi-Device Wireless Power Transfer Scheme Using an Intermediate Energy Storage Circuit.
Stephen Alstrup, Esben Bistrup Halvorsen, Kasper Green Larsen:
Near-optimal labeling schemes for nearest common ancestors.
Chang-Ick Song, Cong Ling:
Achievable Diversity-Rate Tradeoff of MIMO AF Relaying Systems with MMSE Transceivers.

Eyal Ackerman, Michelle M. Allen, Gill Barequet, Maarten Löffler, Joshua Mermelstein, Diane L. Souvaine, Csaba D. Tóth:
The Flip Diameter of Rectangulations and Convex Subdivisions.
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras:
Exploiting Parallelism in Coalgebraic Logic Programming.
Andrew S. Davis, Itamar Arel:
Low-Rank Approximations for Conditional Feedforward Computation in Deep Neural Networks.
Lars Kaczmirek, Philipp Mayr, Ravikiran Vatrapu, Arnim Bleier, Manuela Blumenberg, Tobias Gummer, Abid Hussain, Katharina Kinder-Kurlanda, Kaveh Manshaei, Mark Thamm, Katrin Weller, Alexander Wenz, Christof Wolf:
Social Media Monitoring of the Campaigns for the 2013 German Bundestag Elections on Facebook and Twitter.
Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani:
Call-by-value non-determinism in a linear logic type discipline.
Gabriel Paillard, Christian Lavault, Felipe Maia Galvão França:
A distributed prime sieving algorithm based on Scheduling by Multiple Edge Reversal.
Lilia Zaourar, Mathieu Jan, Maurice Pitel:
Cache-aware static scheduling for hard real-time multicore systems based on communication affinities.
Adiya Abisheva, Venkata Rama Kiran Garimella, David García, Ingmar Weber:
Who Watches (and Shares) What on YouTube? And When? Using Twitter to Understand YouTube Viewership.
Zoran Cvetkovic, Vincent Sinn:
Weyl-Heisenberg Spaces for Robust Orthogonal Frequency Division Multiplexing.

Muhammad Zohaib, Syed Mustafa Pasha, Nadeem Javaid, Jamshed Iqbal:
Intelligent Bug Algorithm (IBA): A Novel Strategy to Navigate Mobile Robots Autonomously.
Vu Pham, Christopher Kermorvant, Jérôme Louradour:
Dropout improves Recurrent Neural Networks for Handwriting Recognition.
Jingwei Lu, Pengwen Chen, Chin-Chih Chang, Lu Sha, Dennis Jen-Hsin Huang, Chin-Chi Teng, Chung-Kuan Cheng:
FFTPL: An Analytic Placement Algorithm Using Fast Fourier Transform for Density Equalization.
Tohru Ishii, Yasutake Takahashi, Yoichiro Maeda, Takayuki Nakamura:
Tethered Flying Robot for Information Gathering System.
Eduardo Feo Flushing, Luca Maria Gambardella, Gianni A. Di Caro:
Strategic Control of Proximity Relationships in Heterogeneous Search and Rescue Teams.
Mariam Adedoyin-Olowe, Mohamed Medhat Gaber, Frederic T. Stahl:
A Survey of Data Mining Techniques for Social Media Analysis.
Victor Alvarez, Karl Bringmann, Radu Curticapean, Saurabh Ray:
Counting Triangulations and other Crossing-free Structures via Onion Layers.
Sharul Agrawal, Ravi Prakash, Zunnun Narmawala:
Implementation of WSN which can simultaneously monitor Temperature conditions and control robot for positional accuracy.
Zhen Zhang, Qinfeng Shi, Yanning Zhang, Chunhua Shen, Anton van den Hengel:
Constraint Reduction using Marginal Polytope Diagrams for MAP LP Relaxations.
Renata Cristina Barros Madeo, Priscilla Koch Wagner, Sarajane Marques Peres:
A Review of Temporal Aspects of Hand Gesture Analysis Applied to Discourse Analysis and Natural Conversation.


Günce Keziban Orman, Vincent Labatut, Marc Plantevit, Jean-François Boulicaut:
Une méthode pour caractériser les communautés des réseaux dynamiques à attributs.
Toni Ernvall, Jyrki T. Lahtonen, Hsiao-feng Lu, Roope Vehkalahti:
An error event sensitive trade-off between rate and coding gain in MIMO MAC.
Wiktor Mlynarski:
Sparse, complex-valued representations of natural sounds learned with phase and amplitude continuity priors.
Alex Stolz, Bene Rodriguez-Castro, Martin Hepp:
RDF Translator: A RESTful Multi-Format Data Converter for the Semantic Web.
Donna Vakharia, Rachel Gibbs:
Designing Spontaneous Speech Search Interface for Historical Archives.
George Nomikos, Panagiotis Pantazopoulos, Merkourios Karaliopoulos, Ioannis Stavrakakis:
The Multiple Instances of Node Centrality and their Implications on the Vulnerability of ISP Networks.
Gaofei Wu, Nian Li, Tor Helleseth, Yuqing Zhang:
More Classes of Complete Permutation Polynomials over $\F_q$.
Marcos Dias de Assunção, Rodrigo N. Calheiros, Silvia Bianchi, Marco Aurélio Stelmar Netto, Rajkumar Buyya:
Big Data Computing and Clouds: Challenges, Solutions, and Future Directions.
Yalong Bai, Kuiyuan Yang, Wei Yu, Wei-Ying Ma, Tiejun Zhao:
Learning High-level Image Representation for Image Retrieval via Multi-Task DNN using Clickthrough Data.
Claudia Nieuwenhuis, Daniel Cremers, Simon Hawe, Martin Kleinsteuber:
Co-Sparse Textural Similarity for Image Segmentation.
Ricardo Martins:
BW - Eye Ophthalmologic decision support system based on clinical workflow and data mining techniques-image registration algorithm.
Dheerendra Mishra, Ankita Chaturvedi, Sourav Mukhopadhyay:
Cryptanalysis and Improvement of Jiang et al.'s Smart Card Based Remote User Authentication Scheme.
Baran Tan Bacinoglu, Elif Uysal-Biyikoglu:
Finite Horizon Online Lazy Scheduling with Energy Harvesting Transmitters over Fading Channels.
Niraj Kumar Singh, Soubhik Chakraborty, Dheeresh Kumar Mallick:
A Statistical Peek into Average Case Complexity.
Marco Baldi, Giovanni Cancellieri, Franco Chiaraluce:
Array Convolutional Low-Density Parity-Check Codes.
Hugo Daniel Macedo, Tayssir Touili:
Mining Malware Specifications through Static Reachability Analysis.
B. P. Pande, Pawan Tamta, H. S. Dhami:
Generation, Implementation and Appraisal of a Language Independent Stemming Algorithm.
Elena Zattoni:
Geometric Methods for Invariant-Zero Cancellation in Linear Multivariable Systems: Illustrative Examples.
Federico Cerutti, Alice Toniolo, Nir Oren, Timothy J. Norman:
Subjective Logic Operators in Trust Assessment: an Empirical Study.
Ryo Iwase, Yasunori Ishihara, Toru Fujiwara:
Toward Security Verification against Inference Attacks on Data Trees.
Chatschik Bisdikian, Federico Cerutti, Yuqing Tang, Nir Oren:
Reasoning about the Impacts of Information Sharing.
Le Nguyen Tuan Thanh, Chihab Hanachi, Serge Stinckwich, Hô Tuòng Vinh:
Representing, Simulating and Analysing Ho Chi Minh City Tsunami Plan by Means of Process Models.
Philip D. Healy, Stefan Meyer, John P. Morrison, Theo Lynn, Ashkan Paya, Dan C. Marinescu:
Bid-Centric Cloud Service Provisioning.

Fabrizio Maria Maggi, Chiara Di Francescomarino, Marlon Dumas, Chiara Ghidini:
Predictive Monitoring of Business Processes.
Yunchao Gong, Yangqing Jia, Thomas Leung, Alexander Toshev, Sergey Ioffe:
Deep Convolutional Ranking for Multilabel Image Annotation.

Mustafa Riza Akdeniz, Yuanpeng Liu, Shu Sun, Sundeep Rangan, Theodore S. Rappaport, Elza Erkip:
Millimeter Wave Channel Modeling and Cellular Capacity Evaluation.
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong:
Rio: A System Solution for Sharing I/O between Mobile Systems.
Adeyinka K. Akanbi, Santosh Kumar, Uwaya Fidelis:
Application of Remote Sensing, GIS and GPS for efficient Urban Management Plan, A case study of part of Hyderabad city.
Stefanie Wuhrer, Leonid Pishchulin, Alan Brunton, Chang Shu, Jochen Lang:
Estimation of Human Body Shape and Posture Under Clothing.
Michael R. Smith, Tony R. Martinez:
A Comparative Evaluation of Curriculum Learning with Filtering and Boosting.
Zhen Qin, Vaclav Petricek, Nikos Karampatziakis, Lihong Li, John Langford:
Efficient Online Bootstrapping for Large Scale Learning.
Ruyong Feng:
Notes on Hrushovski's Algorithm for Computing the Galois Group of a Linear Differential Equation.
Tomofumi Fujiwara, Tetsushi Kamegawa, Akio Gofuku:
Evaluation of Plane Detection with RANSAC According to Density of 3D Point Clouds.
Neil Zhenqiang Gong, Mario Frank, Prateek Mittal:
SybilBelief: A Semi-supervised Learning Approach for Structure-based Sybil Detection.


Fabian Fagerholm, Nilay Oza, Jürgen Münch:
A Platform for Teaching Applied Distributed Software Development: The Ongoing Journey of the Helsinki Software Factory.

Wolfgang John, Kostas Pentikousis, George Agapiou, Eduardo Jacob, Mario Kind, Antonio Manzalini, Fulvio Risso, Dimitri Staessens, Rebecca Steinert, Catalin Meirosu:
Research Directions in Network Service Chaining.
Eric Tutu Tchao, Kwesi Diawuo, Willie K. Ofosu, E. Affum:
Analysis of MIMO Systems used in planning a 4G-WiMAX Network in Ghana.


E. Affum, Eric Tutu Tchao, Kwesi Diawuo, K. Agyekum:
Wideband Parameters Analysis and Validation for Indoor radio Channel at 60/70/80GHz for Gigabit Wireless Communication employing Isotropic, Horn and Omni directional Antenna.
Dominik Kowald, Paul Seitlinger, Christoph Trattner, Tobias Ley:
Long Time No See: The Probability of Reusing Tags as a Function of Frequency and Recency.



Kyumars Sheykh Esmaili, Anwitaman Datta:
On the Effectiveness of Polynomial Realization of Reed-Solomon Codes for Storage Systems.
Ardina Ariani, Leon Andretti Abdillah, Firamon Syakti:
Sistem pendukung keputusan kelayakan TKI ke luar negeri menggunakan FMADM.
Micah Blake McCurdy, Jeffrey Egger, Jordan Kyriakidis:
Decomposition and Gluing for Adiabatic Quantum Optimization.
Wajeeha Khalil, Erich Schikuta:
A Design Blueprint for Virtual Organizations in a Service Oriented Landscape.
Xiaohu Tang, Bin Yang, Jie Li:
New Repair strategy of Hadamard Minimum Storage Regenerating Code for Distributed Storage System.

Johannes Merkle, Benjamin Tams:
Security of the Improved Fuzzy Vault Scheme in the Presence of Record Multiplicity (Full Version).
Xiaofeng Liu, Ning Xu, Aimin Jiang:
Tortuosity Entropy: a measure of spatial complexity of behavioral changes in animal movement data.
Alexey Dosovitskiy, Jost Tobias Springenberg, Thomas Brox:
Unsupervised feature learning by augmenting single images.
Hemant Saggar, D. K. Mehra:
Cyclostationary Spectrum Sensing in Cognitive Radios Using FRESH Filters.
Arkaitz Zubiaga, Heng Ji:
Tweet, but Verify: Epistemic Study of Information Verification on Twitter.
Wei-Cheng Liao, Mingyi Hong, Hamid Farmanbar, Xu Li, Zhi-Quan Luo, Hang Zhang:
Min Flow Rate Maximization for Software Defined Radio Access Networks.
Gang Wang, Seung-Jun Kim, Georgios B. Giannakis:
Moving-Horizon Dynamic Power System State Estimation Using Semidefinite Relaxation.
Yaqub Alwan, Zoran Cvetkovic, Michael J. Curtis:
Classification of Human Ventricular Arrhythmia in High Dimensional Representation Spaces.
Guy Van den Broeck, Wannes Meert, Adnan Darwiche:
Skolemization for Weighted First-Order Model Counting.
Michael Gashler, Michael R. Smith, Richard G. Morris, Tony R. Martinez:
Missing Value Imputation With Unsupervised Backpropagation.
Andrew G. Howard:
Some Improvements on Deep Convolutional Neural Network Based Image Classification.
Jinseok Nam, Jungi Kim, Iryna Gurevych, Johannes Fürnkranz:
Large-scale Multi-label Text Classification - Revisiting Neural Networks.
Chandranath Adak:
Dual Layer Textual Message Cryptosystem with Randomized Sequence of Symmetric Key.
Xiaochuan Zhao, Ali H. Sayed:
Asynchronous Adaptation and Learning over Networks - Part I: Modeling and Stability Analysis.
Xiaochuan Zhao, Ali H. Sayed:
Asynchronous Adaptation and Learning over Networks - Part II: Performance Analysis.
Xiaochuan Zhao, Ali H. Sayed:
Asynchronous Adaptation and Learning over Networks - Part III: Comparison Analysis.
Manuel Moussallam, Alexandre Gramfort, Laurent Daudet, Gaël Richard:
Blind Denoising with Random Greedy Pursuits.
Yonatan Vaizman, Brian McFee, Gert R. G. Lanckriet:
Codebook based Audio Feature Representation for Music Information Retrieval.
Shaobo Lin, Jinshan Zeng, Jian Fang, Zongben Xu:
Learning rates of lq coefficient regularization learning with Gaussian kernel.
Jonathan Masci, Alexander M. Bronstein, Michael M. Bronstein, Pablo Sprechmann, Guillermo Sapiro:
Sparse similarity-preserving hashing.
Maurizio Bocca, Anh Luong, Neal Patwari, Thomas Schmid:
Dial It In: Rotating RF Sensors to Enhance Radio Tomography.
Azlina Mustaffa, Norazura Ezuana Mohd Najid, Siti Salwa Md. Sawari:
Students' Perceptions and Attitude towards the effectiveness of Prezi Uses in learning Islamic Subject.
Marek Kurdej, Véronique Cherfaoui:
Conservative, Proportional and Optimistic Contextual Discounting in the Belief Functions Theory.
William S. Evans, Michael Kaufmann, William Lenhart, Giuseppe Liotta, Tamara Mchedlidze, Stephen K. Wismath:
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs.
Lassi A. Liikkanen:
Three Metrics for Measuring User Engagement with Online Media: Case Example YouTube.
A. M. Nirmala, P. Subramaniam, A. Anusha priya, M. Ravi:
Enriched Performance on Wireless Sensor Network using Fuzzy based Clustering Technique.
Ramy E. Ali, Karim G. Seddik, Mohammed Nafie, Fadel F. Digham:
A Pricing-Based Cooperative Spectrum Sharing Stackelberg Game.
Irina Sergienya, Hinrich Schütze:
Distributional Models and Deep Learning Embeddings: Combining the Best of Both Worlds.
Xian Wei, Hao Shen, Martin Kleinsteuber:
An Adaptive Dictionary Learning Approach for Modeling Dynamical Textures.


Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Alex Graves, Ioannis Antonoglou, Daan Wierstra, Martin A. Riedmiller:
Playing Atari with Deep Reinforcement Learning.
Valentin Borozan, Leandro Montero, Narayanan Narayanan:
Further results on strong edge-colourings in outerplanar graphs.
(Withdrawn) Recursive Robust PCA or Recursive Sparse Recovery in Large but Structured Noise (parts 1 and 2 combined).
Mohammad Norouzi, Tomas Mikolov, Samy Bengio, Yoram Singer, Jonathon Shlens, Andrea Frome, Greg Corrado, Jeffrey Dean:
Zero-Shot Learning by Convex Combination of Semantic Embeddings.
Timothy H. Vines, Arianne Albert, Rose L. Andrew, Florence Debarre, Dan G. Bock, Michelle T. Franklin, Kimberley Gilbert, Jean-Sébastien Moore, Sébastien Renaut, Diana J. Rennison:
The availability of research data declines rapidly with article age.
Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi:
GLB: Lifeline-based Global Load Balancing library in X10.
Samy Bengio, Jeffrey Dean, Dumitru Erhan, Eugene Ie, Quoc V. Le, Andrew Rabinovich, Jonathon Shlens, Yoram Singer:
Using Web Co-occurrence Statistics for Improving Image Categorization.
Ahmed Ben Achballah, Slim Ben Othman, Slim Ben Saoud:
Design of Field Programmable Gate Array (FPGA) Based Emulators for Motor Control Applications.
Patrick C. Connor, Thomas P. Trappenberg:
An Architecture for Distinguishing between Predictors and Inhibitors in Reinforcement Learning.
Roya Ensafi, Jeffrey Knockel, Geoffrey Alexander, Jedidiah R. Crandall:
Detecting Intentional Packet Drops on the Internet via TCP/IP Side Channels: Extended Version.
Mohammed kamel Benhaoua, Abou El Hassan Benyamina, Pierre Boulet:
Heuristics for Routing and Spiral Run-time Task Mapping in NoC-based Heterogeneous MPSOCs.
Marco Rossi, Alexander M. Haimovich, Yonina C. Eldar:
Multi-Branch Matching Pursuit with applications to MIMO radar.
Samory Kpotufe, Eleni Sgouritsa, Dominik Janzing, Bernhard Schölkopf:
Consistency of Causal Inference under the Additive Noise Model.
Yunlong He, Koray Kavukcuoglu, Yun Wang, Arthur Szlam, Yanjun Qi:
Unsupervised Feature Learning by Deep Sparse Coding.
Dong-Min Kim, Young Ju Hwang, Seong-Lyun Kim, Gwang-Ja Jin, Bongsoo Kim:
Random Basketball Routing for ZigBee based Sensor Networks.
Dong-Min Kim, Seong-Lyun Kim:
An Iterative Algorithm for Optimal Carrier Sensing Threshold in Random CSMA/CA Wireless Networks.
Jun Li, Wei Luo, Jian Yang, Xiaotong Yuan:
Why does the unsupervised pretraining encourage moderate-sparseness?
Suneetha Chittineni, Raveendra Babu Bhogapathi:
Optimal parameter selection for unsupervised neural network using genetic algorithm.
Kuang-hua Chen, Bi-Shin Hsueh:
Exploring Regional Development of Digital Humanities Researches: A Case Study for Taiwan.
Taehyoung Shim, Dong-Min Kim, Seong-Lyun Kim:
An Introduction to Socially Connected Machines: Characteristics and Applications.
(Withdrawn) Competitive Learning with Feedforward Supervisory Signal for Pre-trained Multilayered Networks.
Sergey M. Plis, Devon R. Hjelm, Ruslan Salakhutdinov, Vince D. Calhoun:
Deep learning for neuroimaging: a validation study.

Dimitris Athanasakis, John Shawe-Taylor, Delmiro Fernandez-Reyes:
Learning Non-Linear Feature Maps, With An Application To Representation Learning.
Megasthenis Asteris, Dimitris S. Papailiopoulos, George N. Karystinos:
The Sparse Principal Component of a Constant-rank Matrix.
Florian Schmidt, David Orlea, Klaus Wehrle:
Support for Error Tolerance in the Real-Time Transport Protocol.
Andrea Calì, Riccardo Torlone:
Containment of Schema Mappings for Data Exchange (Preliminary Report).


Ralph Tanbourgi, Harpreet S. Dhillon, Jeffrey G. Andrews, Friedrich K. Jondral:
Dual-Branch MRC Receivers under Spatial Interference Correlation and Nakagami Fading.
Hong Van Truong, Elise Beck, Julie Dugdale, Carole Adam:
Developing a model of evacuation after an earthquake in Lebanon.
Johannes Blömer, Kathrin Bujna:
Simple Methods for Initializing the EM Algorithm for Gaussian Mixture Models.
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan:
Automated Verification of Quantum Protocols by Equivalence Checking.
Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2013).
Mrinal Kumar, Shubhangi Saraf:
Superpolynomial lower bounds for general homogeneous depth 4 arithmetic circuits.
Tamara Polajnar, Luana Fagarasan, Stephen Clark:
Learning Type-Driven Tensor-Based Meaning Representations.
David Sutter, Joseph M. Renes:
Universal Polar Codes for More Capable and Less Noisy Channels and Sources.
Mathias Berglund, Tapani Raiko:
Stochastic Gradient Estimate Variance in Contrastive Divergence and Persistent Contrastive Divergence.
Razvan Pascanu, Çaglar Gülçehre, Kyunghyun Cho, Yoshua Bengio:
How to Construct Deep Recurrent Neural Networks.
Karen Simonyan, Andrea Vedaldi, Andrew Zisserman:
Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps.
Lutz Frommberger, Falko Schmid:
Crowdsourced bi-directional disaster reporting and alerting on smartphones in Lao PDR.
Gabriella Contardo, Ludovic Denoyer, Thierry Artières, Patrick Gallinari:
Learning States Representations in POMDP.
Mario Frank, Tiffany Hwu, Sakshi Jain, Robert T. Knight, Ivan Martinovic, Prateek Mittal, Daniele Perito, Dawn Song:
Subliminal Probing for Private Information via EEG-Based BCI Devices.
Jeffrey Wildman, Pedro Henrique Juliano Nardelli, Matti Latva-aho, Steven Weber:
On the Joint Impact of Beamwidth and Orientation Error on Throughput in Wireless Directional Poisson Networks.
David Buchaca, Enrique Romero, Ferran Mazzanti, Jordi Delgado:
Stopping Criteria in Contrastive Divergence: Alternatives to the Reconstruction Error.
Akshay Degwekar, Kenza Guenda, T. Aaron Gulliver:
Extending Construction X for Quantum Error-Correcting Codes.
Birenjith Sasidharan, Kaushik Senthoor, P. Vijay Kumar:
An Improved Outer Bound on the Storage-Repair-Bandwidth Tradeoff of Exact-Repair Regenerating Codes.
Ian J. Goodfellow, Yaroslav Bulatov, Julian Ibarz, Sacha Arnoud, Vinay D. Shet:
Multi-digit Number Recognition from Street View Imagery using Deep Convolutional Neural Networks.
Thomas Maugey, Antonio Ortega, Pascal Frossard:
Graph-based representation for multiview image coding.
Alex Borisevich, Gernot Schullerus:
Energy Efficient Control of an Induction Machine under Load Torque Step Change.
Bojan Pepik, Michael Stark, Peter V. Gehler, Bernt Schiele:
Multi-View Priors for Learning Detectors from Sparse Viewpoint Data.
Razvan Pascanu, Guido Montúfar, Yoshua Bengio:
On the number of inference regions of deep feed forward networks with piece-wise linear activations.
Marcello Balduccini, Yuliya Lierler:
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.
Nan Wang, Laurenz Wiskott, Dirk Jancke:
Modeling correlations in spontaneous activity of visual cortex with centered Gaussian-binary deep Boltzmann machines.
Yichuan Tang, Nitish Srivastava, Ruslan Salakhutdinov:
Learning generative models with visual attention.
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise:
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
(Withdrawn) Comparison three methods of clustering: k-means, spectral clustering and hierarchical clustering.
Theodor Borsche, Andreas Ulbig, Göran Andersson:
A New Frequency Control Reserve Framework based on Energy-Constrained Units.
Andrew M. Saxe, James L. McClelland, Surya Ganguli:
Exact solutions to the nonlinear dynamics of learning in deep linear neural networks.

Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao Son:
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP.
Martin Gebser, Philipp Obermeier, Torsten Schaub:
A System for Interactive Query Answering with Answer Set Programming.
Canan Güniçen, Esra Erdem, Hüsnü Yenigün:
Generating Shortest Synchronizing Sequences using Answer Set Programming.
Sudipta Roy, Sanjay Nag, Indra Kanta Maitra, Samir Kumar Bandyopadhyay:
A Review on Automated Brain Tumor Detection and Segmentation from MRI of Brain.
Milan Hladík, Stefan Ratschan:
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Mohammad Pezeshki, Sajjad Gholami, Ahmad Nickabadi:
Distinction between features extracted using deep belief networks.
Mohammad Ali Keyvanrad, Mohammad Pezeshki, Mohammad Ali Homayounpour:
Deep Belief Networks for Image Denoising.
John A. Bogovic, Gary B. Huang, Viren Jain:
Learned versus Hand-Designed Feature Representations for 3d Agglomeration.
Anjan Nepal, Alexander Yates:
Factorial Hidden Markov Models for Learning Representations of Natural Language.
Cédric Lagnier, Simon Bourigault, Sylvain Lamprier, Ludovic Denoyer, Patrick Gallinari:
Learning Information Spread in Content Networks.
Khalid Alhamazani, Rajiv Ranjan, Karan Mitra, Fethi A. Rabhi, Samee Ullah Khan, Adnene Guabtni, Vasudha Bhatnagar:
An Overview of the Commercial Cloud Monitoring Tools: Research Dimensions, Design Issues, and State-of-the-Art.
Ti Wang, Daniel L. Silver:
Learning Paired-associate Images with An Unsupervised Deep Learning Architecture.
Karl Moritz Hermann, Phil Blunsom:
A Simple Model for Learning Multilingual Compositional Semantics.
Weifeng Liu, H. Zhang, D. Tao, Y. Wang, K. Lu:
Large-Scale Paralleled Sparse Principal Component Analysis.
Thomas Paine, Hailin Jin, Jianchao Yang, Zhe Lin, Thomas S. Huang:
GPU Asynchronous Stochastic Gradient Descent to Speed Up Neural Network Training.


Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, Rob Fergus:
Intriguing properties of neural networks.
Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang:
Coverage Games for Testing Nondeterministic Systems.
Joan Bruna, Wojciech Zaremba, Arthur Szlam, Yann LeCun:
Spectral Networks and Locally Connected Networks on Graphs.
Judy Hoffman, Eric Tzeng, Jeff Donahue, Yangqing Jia, Kate Saenko, Trevor Darrell:
One-Shot Adaptation of Supervised Deep Convolutional Models.
Elad Hazan, Zohar Shay Karnin, Raghu Meka:
Volumetric Spanners and their Applications to Machine Learning.
Hung Gia Hoang, Ba-Tuong Vo:
Sensor management for multi-target tracking via Multi-Bernoulli filtering.
Hung Gia Hoang, Ba-Ngu Vo, Ba-Tuong Vo, Ronald P. S. Mahler:
The Cauchy-Schwarz divergence for Poisson point processes.
Pierre Sermanet, David Eigen, Xiang Zhang, Michaël Mathieu, Rob Fergus, Yann LeCun:
OverFeat: Integrated Recognition, Localization and Detection using Convolutional Networks.
John Levine, Graeme Ritchie, Alastair Andrew, Simon Gates:
New Results for the Heterogeneous Multi-Processor Scheduling Problem using a Fast, Effective Local Search and Random Disruption.
Abraham Othman, Christos H. Papadimitriou, Aviad Rubinstein:
The Complexity of Fairness through Equilibrium.

Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
Parallel architectures for fuzzy triadic similarity learning.
François Denis, Mattias Gybels, Amaury Habrard:
Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning.
Jaume Ferrarons, Mulu Adhana, Carlos Colmenares, Sandra Pietrowska, Fadila Bentayeb, Jérôme Darmont:
PRIMEBALL: a Parallel Processing Framework Benchmark for Big Data Applications in the Cloud.


Jahangir Mohammed, Deepak Ranjan Nayak:
An Efficient Edge Detection Technique by Two Dimensional Rectangular Cellular Automata.
Muhammad Rizwan Asghar:
Privacy Preserving Enforcement of Sensitive Policies in Outsourced and Distributed Environments.
Vladimir Savic, Javier Ferrer-Coll, Per Ängskog, José Chilo, Peter F. Stenumgaard, Erik G. Larsson:
Measurement Analysis and Channel Modeling for TOA-Based Ranging in Tunnels.



Thomas Kalinowski, Dmytro Matsypura, Martin W. P. Savelsbergh:
Incremental Network Design with Maximum Flows.
Sho Sonoda, Noboru Murata:
Nonparametric Weight Initialization of Neural Networks via Integral Representation.
Zheng Li, Mingfei Liang, Liam O'Brien, He Zhang:
The Cloud's Cloudy Moment: A Systematic Survey of Public Cloud Service Outage.
Zheng Li, Liam O'Brien, Rajiv Ranjan, Miranda Zhang:
Early Observations on Performance of Google Compute Engine for Scientific Computing.

Vania V. Estrela, Alessandra Martins Coelho:
State-of-the Art Motion Estimation in the Context of 3D TV.
Thomas Sandholm, Boris Magnusson, Björn A. Johnsson:
On-Demand WebRTC Tunneling in Restricted Networks.
Nicolas Gastineau, Hamamache Kheddouci, Olivier Togni:
On the family of r-regular graphs with Grundy number r + 1.
Prateek Singhal, Aditya Deshpande, N. Dinesh Reddy, K. Madhava Krishna:
Top Down Approach to Multiple Plane Detection.
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann:
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
Quang-Cuong Pham:
A General, Fast, and Robust Implementation of the Time-Optimal Path Parameterization Algorithm.
Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh:
Fair assignment of indivisible objects under ordinal preferences.
Antonio Corbo Esposito, Fabiola Didone:
Some considerations about Java implementation of two provably secure pseudorandom bit generators.
Jaroslaw Byrka, Krzysztof Fleszar, Bartosz Rybicki, Joachim Spoerhase:
A Constant-Factor Approximation Algorithm for Uniform Hard Capacitated $k$-Median.

Antonio Corbo Esposito, Fabiola Didone:
A proposal of a faster variant of known provably secure PRBGs.
Feng Xia, Nana Yaw Asabere, Ahmedin Mohammed Ahmed, Jing Li, Xiangjie Kong:
Mobile Multimedia Recommendation in Smart Communities: A Survey.
Ekaterina Komendantskaya, John Power, Martin Schmidt:
Coalgebraic Logic Programming: from Semantics to Implementation.
Valentin Garnero, Christophe Paul, Ignasi Sau, Dimitrios M. Thilikos:
Explicit linear kernels via dynamic programming.
Gabriel Dulac-Arnold, Ludovic Denoyer, Nicolas Thome, Matthieu Cord, Patrick Gallinari:
Sequentially Generated Instance-Dependent Image Representations for Classification.
Luís Marujo, Anatole Gershman, Jaime G. Carbonell, David Martins de Matos, João Paulo Neto:
Co-Multistage of Multiple Classifiers for Imbalanced Multiclass Learning.
Shatrughan Modi, Seema Bawa:
Image Processing based Systems and Techniques for the Recognition of Ancient and Modern Coins.
Iztok Fister, Iztok Fister Jr., Xin-She Yang, Janez Brest:
A comprehensive review of firefly algorithms.
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content: Incorporating Domain Knowledge into Shape Analysis.
Shana Dacres, Hamed Haddadi, Matthew Purver:
Topic and Sentiment Analysis on OSNs: a Case Study of Advertising Strategies on Twitter.
Samaneh Kazemi, Rohan Garg, Gene Cooperman:
Transparent Checkpoint-Restart for Hardware-Accelerated 3D Graphics.


Yin Tat Lee, Aaron Sidford:
Matching the Universal Barrier Without Paying the Costs : Solving Linear Programs with Õ(sqrt(rank)) Linear System Solves.
Konrad W. Schwerdtfeger:
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits.
Turlough Neary:
Undecidability in binary tag systems and the Post correspondence problem for four pairs of words.
Yin Tat Lee, Aaron Sidford:
Following the Path of Least Resistance : An Õ(m sqrt(n)) Algorithm for the Minimum Cost Flow Problem.
Kristian Moss Bendtsen, Florian Uekermann, Jan O. Haerter:
The expert game - Cooperation in social communication.
Charith Perera, Prem Prakash Jayaraman, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
Sensor Discovery and Configuration Framework for The Internet of Things Paradigm.
Pranjal Awasthi, Maria-Florina Balcan, Konstantin Voevodski:
Local algorithms for interactive clustering.

Shixin Luo, Rui Zhang, Teng Joon Lim:
Joint Transmitter and Receiver Energy Minimization in Multiuser OFDM Systems.
William Lucia, Cuneyt Gurcan Akcora, Elena Ferrari:
Multi-dimensional Conversation Analysis across Online Social Networks.
Eric Nivel, Kristinn R. Thórisson, Bas R. Steunebrink, Haris Dindo, Giovanni Pezzulo, M. Rodriguez, C. Hernandez, Dimitri Ognibene, Jürgen Schmidhuber, Ricardo Sanz, Helgi Páll Helgason, Antonio Chella, Gudberg K. Jonsson:
Bounded Recursive Self-Improvement.
Avinash N. Bhute, B. B. Meshram:
IVSS Integration of Color Feature Extraction Techniques for Intelligent Video Search Systems.

Arkadius G. Kalka, Mina Teicher:
Non-associative key establishment protocols and their implementation.
Lin Feng, Tie Qiu, Zhenlong Sun, Feng Xia, Yu Zhou:
A Coverage Strategy for Wireless Sensor Networks in a Three-dimensional Environment.
Fengqi Li, Chuang Yu, Nanhai Yang, Feng Xia, Guangming Li, Fatemeh Kaveh-Yazdy:
Iterative Nearest Neighborhood Oversampling in Semisupervised Learning from Imbalanced Data.
Feng Xia, Nana Yaw Asabere, Joel J. P. C. Rodrigues, Filippo Basso, Nakema Deonauth, Wei Wang:
Socially-Aware Venue Recommendation for Conference Participants.
Ahmed K. Farahat, Ali Ghodsi, Mohamed S. Kamel:
A Fast Greedy Algorithm for Generalized Column Subset Selection.
Tie Qiu, Yanhong Ding, Feng Xia, Honglian Ma:
A Search Strategy of Level-Based Flooding for the Internet of Things.
Therese C. Biedl, Martin Derka, Stephen Kiazyk, Anna Lubiw, Hamideh Vosoughpour:
Dihedral angles and orthogonal polyhedra.
Weifeng Sun, Feng Xia, Jianhua Ma, Tong Fu, Yu Sun:
An Optimal ODAM-Based Broadcast Algorithm for Vehicular Ad-Hoc Networks.
Tie Qiu, Yu Zhou, Feng Xia, Naigao Jin, Lin Feng:
A Localization Strategy Based on N-times Trilateral Centroid with Weight.
Eugene A. Feinberg, Jefferson Huang:
The Value Iteration Algorithm is Not Strongly Polynomial for Discounted Dynamic Programming.
Haifeng Liu, Feng Xia, Zhuo Yang, Yang Cao:
An Energy-Efficient Localization Strategy for Smartphones.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Face Detection from still and Video Images using Unsupervised Cellular Automata with K means clustering algorithm.
Sonia, Archana Singhal, Hema Banati:
Fuzzy Logic Approach for Threat Prioritization in Agile Security Framework using DREAD Model.
Feng Xia, Alexey V. Vinel, Ruixia Gao, Linqiang Wang, Tie Qiu:
Evaluating IEEE 802.15.4 for Cyber-Physical Systems.
Ahmed K. Farahat, Ahmed Elgohary, Ali Ghodsi, Mohamed S. Kamel:
Greedy Column Subset Selection for Large-scale Data Sets.
Matthew Ager, Zoran Cvetkovic, Peter Sollich:
Phoneme Classification in High-Dimensional Linear Feature Domains.


Tianqing Zhou, Yongming Huang, Luxi Yang:
QoS-Aware User Association for Load Balancing in Heterogeneous Cellular Networks.
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio:
Game Theoretic Approach to the Stabilization of Heterogeneous Multiagent Systems Using Subsidy.
Chin Keong Ho, Di Yuan, Sumei Sun:
Data Offloading in Load Coupled Networks: A Utility Maximization Framework.
Jianqin Zhou, Xifeng Wang, Wanquan Liu:
Distribution of the Second Descent Points for the $k$-error Linear Complexity of $2^n$-periodic Binary Sequences.
Dawei Zhao, Lixiang Li, Haipeng Peng, Qun Luo, Yixian Yang:
Multiple routes transmitted epidemics on multiplex networks.
Arifa Ferdousi, Sadeque Reza Khan:
Hardware and logic implementation of multiple alarm system for GSM BTS rooms.
Branko Malesevic, Ratko Obradovic, Bojan Banjac, Ivana Jovovic, Milica Makragic:
Application of polynomial texture mapping in process of digitalization of cultural heritage.
Arifa Ferdousi, Farhana Enam, Sadeque Reza Khan:
The performance evaluation of IEEE 802.16 physical layer in the basis of bit error rate considering reference channel models.
Zaid Altahat, Tzilla Elrad, Luay Tahat, Nada Almasri:
Detection of Syntactic Aspect Interaction in UML State Diagrams Using Critical Pair Analysis in Graph Transformation.
(Withdrawn) Formal Ontology Learning on Factual IS-A Corpus in English using Description Logics.
Sourish Dasgupta, Rupali KaPatel, Ankur Padia, Kushal Shah:
Description Logics based Formalization of Wh-Queries.
Taotao Wang, Soung Chang Liew:
Joint Phase Tracking and Channel Decoding for OFDM Physical-Layer Network Coding.
Ahmad Kamal:
Subjectivity Classification using Machine Learning Techniques for Mining Feature-Opinion Pairs from Web Opinion Sources.
Sourav Bhattacharya, Petteri Nurmi, Nils Y. Hammerla, Thomas Plötz:
Using Unlabeled Data in a Sparse-coding Framework for Human Activity Recognition.

René van Bevern, Andreas Emil Feldmann, Manuel Sorge, Ondrej Suchý:
On the Parameterized Complexity of Computing Balanced Partitions in Graphs.
Fred Fu, Nasser Mohieddin Abukhdeir:
A Topologically-informed Hyperstreamline Seeding Method for Alignment Tensor Fields.
Qibin Fan, Yuling Jiao, Xiliang Lu:
A Primal Dual Active Set Algorithm with Continuation for Compressed Sensing.
Youcheng Lou, Yiguang Hong, Lihua Xie, Guodong Shi, Karl Henrik Johansson:
Nash Equilibrium Seeking in Subnetwork Zero-Sum Games with Switching Communication Graphs.
Izuddin Zainalabidin, Izyan Izzati A. Halim, Faizal A. Fadzil:
Development of Display Ads Retrieval System to Match Publisher's Contents.
Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013.
Ankur P. Parikh, Avneesh Saluja, Chris Dyer, Eric P. Xing:
Language Modeling with Power Low Rank Ensembles.
Peng Lu, Xujun Peng, Xinshan Zhu, Xiaojie Wang:
Finding More Relevance: Propagating Similarity on Markov Random Field for Image Retrieval.
Bangsuk Jantawan, Cheng-Fa Tsai:
The Development of Educational Quality Administration: a Case of Technical College in Southern Thailand.
Bangsuk Jantawan, Cheng-Fa Tsai:
The Application of Data Mining to Build Classification Model for Predicting Graduate Employment.
Ali Cherif Moussa, Faraoun Mohamed Kamel:
Link Quality and MAC-Overhead aware Predictive Preemptive Routing Protocol for Mobile Ad hoc Network.
Seok-Hwan Park, Osvaldo Simeone, Onur Sahin, Shlomo Shamai:
Multihop Backhaul Compression for the Uplink of Cloud Radio Access Networks.
Zahra Aminzare, Eduardo D. Sontag:
Some remarks on spatial uniformity of solutions of reaction-diffusion PDE's and a related synchronization problem for ODE's.
Patoomsiri Songsiri, Thimaporn Phetkaew, Ryutaro Ichise, Boonserm Kijsirikul:
Sub-Classifier Construction for Error Correcting Output Code Using Minimum Weight Perfect Matching.

Hyun Jong Yang, Won-Yong Shin, Bang Chul Jung, Changho Suh, Arogyaswami Paulraj:
Opportunistic Downlink Interference Alignment.
Juntao Gao, Yulong Shen, Xiaohong Jiang, Osamu Takahashi, Norio Shiratori:
End-to-End Delay Modeling for Mobile Ad Hoc Networks: A Quasi-Birth-and-Death Approach.
Archita Agarwal, Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Sambuddha Roy, Yogish Sabharwal:
Distributed and Parallel Algorithms for Set Cover Problems with Small Neighborhood Covers.
Rashmi Gupta, Nisheeth Joshi, Iti Mathur:
Quality Estimation of English-Hindi Outputs using Naive Bayes Classifier.
Ramesh K. Jallu, Prajwal R. Prasad, Gautam K. Das:
Minimum Dominating Set for a Point Set in $\IR^2$.
Patricio Reyes, Alonso Silva:
Maximum Coverage and Maximum Connected Covering in Social Networks with Partial Topology Information.

Éric Schost, Pierre-Jean Spaenlehauer:
A Quadratically Convergent Algorithm for Structured Low-Rank Approximation.
Prashanth Lakshmanrao Ananthapadmanabharao, Abhranil Chatterjee, Shalabh Bhatnagar:
Reinforcement Learning for Sleep-Wake Scheduling in Sensor Networks.
Arjun Jain, Jonathan Tompson, Mykhaylo Andriluka, Graham W. Taylor, Christoph Bregler:
Learning Human Pose Estimation Features with Convolutional Networks.
Satabdi Aditya, Bhaskar DasGupta, Marek Karpinski:
Algorithmic Perspectives of Network Transitive Reduction Problems and their Applications to Synthesis and Analysis of Biological Networks.

M. Emre Celebi, Quan Wen, Sae Hwang, Hitoshi Iyatomi, Gerald Schaefer:
Lesion Border Detection in Dermoscopy Images Using Ensembles of Thresholding Methods.
Md. Selim Al Mamun, Pronab Kumar Mondal, Uzzal Kumar Prodhan:
A Novel Approach for Designing Online Testable Reversible Circuits.
Stanley H. Chan, Todd E. Zickler, Yue M. Lu:
Monte Carlo non local means: Random sampling for large-scale image filtering.
Mostafa Milani, Leopoldo E. Bertossi, Sina Ariyan:
Extending Contexts with Ontologies for Multidimensional Data Quality Assessment.
Bart Besselink, Henrik Sandberg, Karl Henrik Johansson:
Model reduction of networked passive systems through clustering.
Kiana Hajebi, Hong Zhang:
Stopping Rules for Bag-of-Words Image Search and Its Application in Appearance-Based Localization.
Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey.
Prashanth L. A., H. L. Prasad, Nirmit Desai, Shalabh Bhatnagar, Gargi Dasgupta:
Simultaneous Perturbation Methods for Adaptive Labor Staffing in Service Systems.
Hai-Peng Ren, Yang Zhao:
A Novel Carrier Waveform Inter-Displacement Modulation Method in Underwater Communication Channel.
Mohammad Jabed Morshed Chowdhury, Narayan Ranjan Chakraborty:
CAPTCHA Based on Human Cognitive Factor.
Yu Zhao, Zhisheng Duan, Zhongkui Li:
Distributed average tracking for multiple reference signals with general linear dynamics.
Sheng Huang, Dan Yang, Haopeng Zhang:
Shape Primitive Histogram: A Novel Low-Level Face Representation for Face Recognition.
Zhongkui Li, Zhisheng Duan, Wei Ren, Gang Feng:
Containment Control of Linear Multi-Agent Systems with Multiple Leaders of Bounded Inputs Using Distributed Continuous Controllers.
Sheng Huang, Dan Yang:
Collaborative Discriminant Locality Preserving Projections With its Application to Face Recognition.
Elias Bareinboim, Judea Pearl:
A General Algorithm for Deciding Transportability of Experimental Results.
Shraddha S. Shinde, Anagha P. Khedkar:
A Novel Scheme for Generating Secure Face Templates Using BDA.
Kobi Cohen, Amir Leshem:
Distributed Game Theoretic Optimization and Management of Multi-Channel ALOHA Networks.
Muhammad Imran:
An Effective End-User Development Approach Through Domain-Specific Mashups for Research Impact Evaluation.
Gábor Bacsó, Piotr Borowiecki, Mihály Hujter, Zsolt Tuza:
Minimum order of graphs with given coloring parameters.
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti:
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias.

Saeid Fazli, Sevin Samadi:
A Novel Retinal Vessel Segmentation Based On Histogram Transformation Using 2-D Morlet Wavelet and Supervised Classification.
Amiraj Dhawan, Vipul Honrao:
Implementation of Hand Detection based Techniques for Human Computer Interaction.
Stefan Mathe, Cristian Sminchisescu:
Actions in the Eye: Dynamic Gaze Datasets and Learnt Saliency Models for Visual Recognition.
Selma Kchir, Tewfik Ziadi, Mikal Ziane, Serge Stinckwich:
A Top-Down Approach to Managing Variability in Robotics Algorithms.
Saeid Fazli, Parisa Nadirkhanlou:
A Novel Method for Automatic Segmentation of Brain Tumors in MRI Images.
Jianshu Chen, Ali H. Sayed:
On the Learning Behavior of Adaptive Networks - Part II: Performance Analysis.
Jianshu Chen, Ali H. Sayed:
On the Learning Behavior of Adaptive Networks - Part I: Transient Analysis.
Vu Anh Huynh, Leonid Kogan, Emilio Frazzoli:
A Martingale Approach and Time-Consistent Sampling-based Algorithms for Risk Management in Stochastic Optimal Control.

Sergio Valcarcel Macua, Jianshu Chen, Santiago Zazo, Ali H. Sayed:
Distributed Policy Evaluation Under Multiple Behavior Strategies.
Mila E. Majster-Cederbaum, Nils Semmelrock:
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete. 1-11
Faisal N. Abu-Khzam, Khuzaima Daudjee, Amer E. Mouawad, Naomi Nishimura:
An Easy-to-use Scalable Framework for Parallel Recursive Backtracking.
B. Premjith, S. Sachin Kumar, Akhil Manikkoth, T. V. Bijeesh, K. P. Soman:
Insight into Primal Augmented Lagrangian Multilplier Method.
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.
Xiaodong Liu, Yuan Li, Haibin Kan:
On the Minimum Decoding Delay of Balanced Complex Orthogonal Design.
Andrey Bernstein, Nahum Shimkin:
Response-Based Approachability and its Application to Generalized No-Regret Algorithms.
Zádor Dániel Kelemen, Katalin Balla, Jos J. M. Trienekens, Rob J. Kusters:
Towards supporting simultaneous use of process-based quality approaches.
Oshri Naparstek, Amir Leshem:
Fully distributed optimal channel assignment for open spectrum access.
Sergey V. Kovalchuk, Pavel A. Smirnov, Konstantin V. Knyazkov, Alexander S. Zagarskikh, Alexander Boukhanovsky:
Knowledge-based Expressive Technologies within Cloud Computing Environments.
Zai Yang, Lihua Xie, Cishen Zhang:
A discretization-free sparse and parametric approach for linear array signal processing.
Dan Banica, Cristian Sminchisescu:
CPMC-3D-O2P: Semantic segmentation of RGB-D images using CPMC and Second Order Pooling.
Andrew G. Lamperski, John C. Doyle:
The $H_2$ Control Problem for Decentralized Systems with Delays.
Reza Mortezapour, Mehdi Afzali:
Assessment of Customer Credit through Combined Clustering of Artificial Neural Networks, Genetics Algorithm and Bayesian Probabilities.
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Probabilistic Model Checking for Energy Analysis in Software Product Lines.
Zhao Tan, Yonina C. Eldar, Arye Nehorai:
Direction of Arrival Estimation Using Co-prime Arrays: A Super Resolution Viewpoint.
Karlheinz Gröchenig, José Luis Romero, Jayakrishnan Unnikrishnan, Martin Vetterli:
On Minimal Trajectories for Mobile Sampling of Bandlimited Fields.
Valérie Berthé, Damien Jamet, Timo Jolivet, Xavier Provençal:
Critical connectedness of thin arithmetical discrete planes.
Jussi Collin, Martti Kirkko-Jaakkola, Jarmo Takala:
Effect of Carouseling on Angular Rate Sensor Error Processes.
Felix Ming Fai Wong, Carlee Joe-Wong, Sangtae Ha, Zhenming Liu, Mung Chiang:
Mind Your Own Bandwidth: An Edge Solution to Peak-hour Broadband Congestion.
Theodoros Tsiligkaridis, Brian M. Sadler, Alfred O. Hero III:
On Decentralized Estimation with Active Queries.
C. D. Erdbrink, Valeria V. Krzhizhanovskaya, Peter M. A. Sloot:
Evolutionary Design of Numerical Methods: Generating Finite Difference and Integration Schemes by Differential Evolution.
Ohad Shamir, Nathan Srebro, Tong Zhang:
Communication Efficient Distributed Optimization using an Approximate Newton-type Method.
Tom Lyche, Georg Muntingh:
A Hermite interpolatory subdivision scheme for $C^2$-quintics on the Powell-Sabin 12-split.
Alberto Baccini, Lucio Barabesi, Martina Cioni, Caterina Pisani:
Crossing the hurdle: the determinants of individual scientific performance.
Aldo Conca, Dan Edidin, Milena Hering, Cynthia Vinzant:
An algebraic characterization of injectivity in phase retrieval.
Laurent Hébert-Dufresne, Edward Laurence, Antoine Allard, Jean-Gabriel Young, Louis J. Dubé:
Complex networks are an emerging property of hierarchical preferential attachment.
Hemant Tyagi, Sebastian U. Stich, Bernd Gärtner:
Stochastic continuum armed bandit problem of few linear parameters in high dimensions.
Frédéric Chazal, Brittany Terese Fasy, Fabrizio Lecci, Alessandro Rinaldo, Larry A. Wasserman:
Stochastic Convergence of Persistence Landscapes and Silhouettes.


Vladimir G. Deineko, Bettina Klinz, Gerhard J. Woeginger:
Uniqueness in quadratic and hyperbolic 0-1 programming problems.
A. Gianelle, Silvia Amerio, D. Bastieri, M. Corvo, W. Ketchum, T. Liu, Alessandro Lonardo, D. Lucchesi, S. Poprocki, R. Rivera, Laura Tosoratto, Piero Vicini, P. Wittich:
Applications of Many-Core Technologies to On-line Event Reconstruction in High Energy Physics Experiments.
Francesca Petralia, Joshua T. Vogelstein, David B. Dunson:
Multiscale Dictionary Learning for Estimating Conditional Distributions.
Thomas Wolf, Heiko Panzer, Boris Lohmann:
ADI iteration for Lyapunov equations: a tangential approach and adaptive shift selection.
Jonas Kaszian, Pieter Moree, Igor E. Shparlinski:
Periodic Structure of the Exponential Pseudorandom Number Generator.
Michael E. Zieve:
Permutation polynomials induced from permutations of subfields, and some complete sets of mutually orthogonal latin squares.
Torsten A. Enßlin, Henrik Junklewitz, Lars Winderling, Marco Selig:
Art and theory of self-calibration.
Chun Tung Chou:
Impact of receiver reaction mechanisms on the performance of molecular communication networks.
Lillian J. Ratliff, Roy Dong, Henrik Ohlsson, S. Shankar Sastry:
Behavior Modification and Utility Learning via Energy Disaggregation.
Anindya S. Chakrabarti, Sitabhra Sinha:
Self-organized coordination in collective response of non-interacting agents: Emergence of bimodality in box-office success.

Freddie D. Witherden, Antony M. Farrington, Peter E. Vincent:
PyFR: An Open Source Framework for Solving Advection-Diffusion Type Problems on Streaming Architectures using the Flux Reconstruction Approach.


Divyanshu Vats, Richard G. Baraniuk:
Swapping Variables for High-Dimensional Sparse Regression from Correlated Measurements.
Cristiano Varin, Manuela Cattelan, David Firth:
Statistical Modelling of Citation Exchange Among Statistics Journals.
Munik Shrestha, Cristopher Moore:
A message-passing approach for threshold models of behavior in networks.
Yen-Chi Chen, Christopher R. Genovese, Larry A. Wasserman:
Uncertainty Measures and Limiting Distributions for Filament Estimation.
John C. Duchi, Michael I. Jordan, Martin J. Wainwright, Andre Wibisono:
Optimal rates for zero-order optimization: the power of two function evaluations.



Wolfgang Bangerth, Timo Heister, Luca Heltai, Guido Kanschat, Martin Kronbichler, Matthias Maier, Bruno Turcksin, Toby D. Young:
The deal.II Library, Version 8.1.

Daniel E. Quevedo, Vijay Gupta, Wann-Jiun Ma, Serdar Yüksel:
Stochastic Stability of Event-triggered Anytime Control.
Garret M. Flagg, Serkan Gugercin:
Multipoint Volterra Series Interpolation and H2 Optimal Model Reduction of Bilinear Systems.

Raj Kumar Pan, Santo Fortunato:
Author Impact Factor: tracking the dynamics of individual scientific impact.
Taha Yasseri, Jonathan Bright:
Can electoral popularity be predicted using socially generated big data?
Roberto Imbuzeiro Oliveira:
The lower tail of random quadratic forms, with applications to ordinary least squares and restricted eigenvalue properties.
Jianzhu Ma, Sheng Wang, Jinbo Xu:
Protein contact prediction by joint evolutionary coupling analysis across multiple families.
Toshiyasu Arai:
A polynomial time complete disjunction property in intuitionistic propositional logic.
Michele Bellingeri, Davide Cassi, Simone Vincenzi:
Efficiency of attack strategies on complex model and real-world networks.
Pierre Aboulker, Rohan Kapadia:
The Chen-Chvátal conjecture for metric spaces induced by distance-hereditary graphs.
Ernesto Estrada, Jesús Gómez-Gardeñes:
Communicability reveals a transition to coordinated behavior in multiplex networks.
Rian G. S. Pinheiro, Ivan C. Martins, Fábio Protti, Luiz S. Ochi, Luidi Simonetti, Anand Subramanian:
On Solving Manufacturing Cell Formation via Bicluster Editing.
Dhavide A. Aruliah, Lennaert van Veen, Alex Dubitski:
PAMPAC: A Parallel Adaptive Method for Pseudo-Arclength Continuation.
A. D. Medus, Claudio Oscar Dorso:
Triadic closure mechanism in face-to-face and online social relationship networks.
Jason Morton, Jacob W. Turner:
Computing the Tutte Polynomial of Lattice Path Matroids Using Determinantal Circuits.
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.:
Augur: a Modeling Language for Data-Parallel Probabilistic Inference.
Vincenzo Nicosia, Ginestra Bianconi, Vito Latora, Marc Barthelemy:
Non-linear growth and condensation in multiplex networks.
(Withdrawn) Optimal algorithms for linear algebra by quantum inspiration.
Rémi Gribonval, Rodolphe Jenatton, Francis R. Bach, Martin Kleinsteuber, Matthias Seibert:
Sample Complexity of Dictionary Learning and other Matrix Factorizations.
Gareth J. Baxter, Sergey N. Dorogovtsev, Jose F. F. Mendes, Davide Cellai:
Weak percolation on multiplex networks.

Filipe Brandão, João Pedro Pedroso:
Multiple-choice Vector Bin Packing: Arc-flow Formulation with Graph Compression.
Alexander A. Davydov, Giorgio Faina, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco:
Tables of parameters of symmetric configurations $v_{k}$.

Sandip Bose, Shuchin Aeron, Henri-Pierre Valero:
Joint multi-mode dispersion extraction in Fourier and space time domains.
Max Wasserman, Satyam Mukherjee, Konner Scott, Xiao Han T. Zeng, Filippo Radicchi, Luís A. Nunes Amaral:
Correlations between user voting data, budget, and box office for films in the Internet Movie Database.
Chisaki Nakaizumi, Koichi Mori, Toshie Matsui, Shoji Makino, Tomasz M. Rutkowski:
Auditory Brain-Computer Interface Paradigm with Head Related Impulse Response-based Spatial Cues.
Niraj Kumar, Debabrata Goswami:
Quantum Algorithm to Solve a Maze: Converting the Maze Problem into a Search Problem.



Magali Bardet, Térence Bayen:
On the degree of the polynomial defining a planar algebraic curves of constant width.
R. C. Venkatesan, Angelo Plastino:
Legendre transform structure and extremal properties of the relative Fisher information.

Ella Gale, Benjamin de Lacy Costello, Andrew Adamatzky:
Which Memristor Theory is Best for Relating Devices Properties to Memristive Function?
Robert J. Vanderbei, Han Liu, Lie Wang, Kevin Lin:
Optimization for Compressed Sensing: the Simplex Method and Kronecker Sparsification.
Pierre Fernique, Jean-Baptiste Durand, Yann Guédon:
Parametric Modelling of Multivariate Count Data Using Probabilistic Graphical Models.
Kasper Dinkla, Mohammed El-Kebir, Cristina-Iulia Bucur, Marco Siderius, Martine J. Smit, Michel A. Westenberg, Gunnar W. Klau:
eXamine: a Cytoscape app for exploring annotated modules in networks.

Armen E. Allahverdyan, Aram Galstyan:
Comparative Analysis of Viterbi Training and Maximum Likelihood Estimation for HMMs.
Peilin Zhao, Jinwei Yang, Tong Zhang, Ping Li:
Accelerating Stochastic Alternating Direction Method of Multipliers with Adaptive Subgradient.





Roger Frigola, Fredrik Lindsten, Thomas B. Schön, Carl E. Rasmussen:
Identification of Gaussian Process State-Space Models with Particle Stochastic Approximation EM.
William R. Gray Roncal, Zachary H. Koterba, Disa Mhembere, Dean Kleissas, Joshua T. Vogelstein, Randal C. Burns, Anita R. Bowles, Dimitrios K. Donavos, Sephira Ryman, Rex E. Jung, Lei Wu, Vince D. Calhoun, R. Jacob Vogelstein:
MIGRAINE: MRI Graph Reliability Analysis and Inference for Connectomics.

Matt Wytock, J. Zico Kolter:
Contextually Supervised Source Separation with Application to Energy Disaggregation.
Matthias Hein, Simon Setzer, Leonardo Jost, Syama Sundar Rangapuram:
The Total Variation on Hypergraphs - Learning on Hypergraphs Revisited.
Manu Basavaraju, Pinar Heggernes, Pim van 't Hof, Reza Saei, Yngve Villanger:
Maximal induced matchings in triangle-free graphs.
Leonardo Jost, Simon Setzer, Matthias Hein:
Nonlinear Eigenproblems in Data Analysis - Balanced Graph Cuts and the RatioDCA-Prox.
Vincent Dumoulin, Ian J. Goodfellow, Aaron C. Courville, Yoshua Bengio:
On the Challenges of Physical Implementations of RBMs.
Ivan Nourdin, Giovanni Peccati, Yvik Swan:
Integration by parts and representation of information functionals.

Taichi Kiwaki, Takaki Makino, Kazuyuki Aihara:
Approximated Infomax Early Stopping: Revisiting Gaussian RBMs on Natural Images.
Xin-She Yang, Suash Deb, Martin Loomes, Mehmet Karamanoglu:
A Framework for Self-Tuning Optimization Algorithm.
Andrew S. Lan, Christoph Studer, Richard G. Baraniuk:
Time-varying Learning and Content Analytics via Sparse Factor Analysis.
Matias Carrasco Kind, Robert J. Brunner:
SOMz: photometric redshift PDFs with self organizing maps and random atlas.
Seunghak Lee, Jin Kyu Kim, Qirong Ho, Garth A. Gibson, Eric P. Xing:
Structure-Aware Dynamic Scheduler for Parallel Machine Learning.
Vladimir V. Bytev, Mikhail Yu. Kalmykov, Sven-Olaf Moch:
HYPERDIRE: HYPERgeometric functions DIfferential REduction: MATHEMATICA based packages for differential reduction of generalized hypergeometric functions: $F_D$ and $F_S$ Horn-type hypergeometric functions of three variables.


Arto Klami, Guillaume Bouchard, Abhishek Tripathi:
Group-sparse Embeddings in Collective Matrix Factorization.
Géza Ódor, Jeffrey Kelling, Sibylle Gemming:
Ageing of the 2+1 dimensional Kardar-Parisi-Zhang model.


Jost Tobias Springenberg, Martin A. Riedmiller:
Improving Deep Neural Networks with Probabilistic Maxout Units.
James P. Bagrow, Suma Desu, Morgan R. Frank, Narine Manukyan, Lewis Mitchell, Andrew J. Reagan, Eric E. Bloedorn, Lashon B. Booker, Luther Karl Branting, Michael J. Smith, Brian F. Tivnan, Christopher M. Danforth, Peter Sheridan Dodds, Joshua Clifford Bongard:
Shadow networks: Discovering hidden nodes with models of information flow.
David Warde-Farley, Ian J. Goodfellow, Aaron C. Courville, Yoshua Bengio:
An empirical analysis of dropout in piecewise linear networks.
Sida I. Wang, Roy Frostig, Percy Liang, Christopher D. Manning:
Relaxations for inference in restricted Boltzmann machines.
Gang Liu, Ting-Zhu Huang, Jun Liu, Xiao-Guang Lv:
Total variation with overlapping group sparsity for image deblurring under impulse noise.
Ian J. Goodfellow, Mehdi Mirza, Xia Da, Aaron C. Courville, Yoshua Bengio:
An Empirical Investigation of Catastrophic Forgeting in Gradient-Based Neural Networks.



Taro Takaguchi, Takehisa Hasegawa, Yuichi Yoshida:
Suppressing epidemics on networks by exploiting observer nodes.
Pawan Tamta, Bhagwati Prasad Pande, H. S. Dhami:
Cardinality Maximum Flow Network Interdiction Problem Vs. The Clique Problem.
Eleanor Anthony, Sheridan Grant, Peter Gritzmann, J. Maurice Rojas:
Polynomial-Time Amoeba Neighborhood Membership and Faster Localized Solving.
Saugata Basu, Cordian Riener:
Bounding the equivariant Betti numbers and computing the generalized Euler-Poincaré characteristic of symmetric semi-algebraic sets.
Brett Giles, Peter Selinger:
Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators.
Yakup Koç, Martijn Warnier, Robert E. Kooij, Frances M. T. Brazier:
Structural Vulnerability Assessment of Electric Power Grids.
Victorin Martin, Jean-Marc Lasgouttes, Cyril Furtlehner:
Using Latent Binary Variables for Online Reconstruction of Large Scale Systems.
Kimberly DuPrie, Alice Allen, G. Bruce Berriman, Robert J. Hanisch, Jessica Mink, Robert J. Nemiroff, Lior Shamir, Keith Shortridge, Mark B. Taylor, Peter J. Teuben, John F. Wallin:
Astrophysics Source Code Library: Incite to Cite!
Giulia Menichetti, Daniel Remondini, Pietro Panzarasa, Raul J. Mondragón, Ginestra Bianconi:
Weighted Multiplex Networks.
G. Bruce Berriman, Ewa Deelman, John Good, Gideon Juve, Jamie Kinney, Ann Merrihew, Mats Rynge:
Creating A Galactic Plane Atlas With Amazon Web Services.
Gang Liu, Ting-Zhu Huang, Xiao-Guang Lv, Jun Liu:
New approximate thresholding/shrinkage formulas for one class of regularization problems with overlapping group sparsity.
Chunlin Chen, Daoyi Dong, Bo Qi, Ian R. Petersen, Herschel Rabitz:
Quantum Ensemble Classification: A Sampling-based Learning Control Approach.
Faicel Chamroukhi, Samer Mohammed, Dorra Trabelsi, Latifa Oukhellou, Yacine Amirat:
Joint segmentation of multivariate time series with hidden process regression for human activity recognition.
Dorra Trabelsi, Samer Mohammed, Faicel Chamroukhi, Latifa Oukhellou, Yacine Amirat:
An Unsupervised Approach for Automatic Activity Recognition based on Hidden Markov Model Regression.
Faicel Chamroukhi, Hervé Glotin, Allou Samé:
Model-based functional mixture discriminant analysis with hidden process regression for curve classification.
Allou Samé, Faicel Chamroukhi, Gérard Govaert, Patrice Aknin:
Model-based clustering and segmentation of time series with changes in regime.
Faicel Chamroukhi, Allou Samé, Gérard Govaert, Patrice Aknin:
A hidden process regression model for functional data description. Application to curve discrimination.
Faicel Chamroukhi, Allou Samé, Gérard Govaert, Patrice Aknin:
Time series modeling by a regression approach based on a latent process.
Faicel Chamroukhi:
Piecewise regression mixture for simultaneous curve clustering and optimal segmentation.
Faicel Chamroukhi, Allou Samé, Gérard Govaert, Patrice Aknin:
Modèle à processus latent et algorithme EM pour la régression non linéaire.
Faicel Chamroukhi, Allou Samé, Gérard Govaert, Patrice Aknin:
A regression model with a hidden logistic process for signal parametrization.
Faicel Chamroukhi, Allou Samé, Gérard Govaert, Patrice Aknin:
A regression model with a hidden logistic process for feature extraction from time series.
Raissa Onanena, Faicel Chamroukhi, Latifa Oukhellou, Denis Candusso, Patrice Aknin, Daniel Hissel:
Supervised learning of a regression model based on latent process. Application to the estimation of fuel cell life time.
Yudong Chen, Xinyang Yi, Constantine Caramanis:
A Convex Formulation for Mixed Regression: Near Optimal Rates in the Face of Noise.
Faicel Chamroukhi, Hervé Glotin, Céline Rabouy:
Functional Mixture Discriminant Analysis with hidden process regression for curve classification.
Faicel Chamroukhi, Hervé Glotin:
Mixture model-based functional discriminant analysis for curve classification.
Faicel Chamroukhi, Allou Samé, Patrice Aknin, Gérard Govaert:
Model-based clustering with Hidden Markov Model regression for time series with regime changes.

Ari Zitin, Alex Gorowora, Shane Squires, Mark Herrera, Thomas M. Antonsen Jr., Michelle Girvan, Edward Ott:
Spatially embedded growing small-world networks.
Abhishek Kumar, Vikas Sindhwani:
Near-separable Non-negative Matrix Factorization with ℓ1- and Bregman Loss Functions.
Patrizio Frosini, Grzegorz Jablonski:
Combining persistent homology and invariance groups for shape comparison.
Well Y. Chiu, Mario Szegedy, Chengu Wang, Yixin Xu:
The Garden Hose Complexity for the Equality Function.

Kevin G. Jamieson, Matthew Malloy, Robert D. Nowak, Sébastien Bubeck:
lil' UCB : An Optimal Exploration Algorithm for Multi-Armed Bandits.
Peter J. Teuben, Alice Allen, G. Bruce Berriman, Kimberly DuPrie, Robert J. Hanisch, Jessica Mink, Robert J. Nemiroff, Lior Shamir, Keith Shortridge, Mark B. Taylor, John F. Wallin:
Ideas for Advancing Code Sharing (A Different Kind of Hack Day).
Zhongkui Li, Guanghui Wen, Zhisheng Duan, Wei Ren:
Designing Fully Distributed Consensus Protocols for Linear Multi-agent Systems with Directed Communication Graphs.

Kartik Audhkhasi, Abhinav Sethy, Bhuvana Ramabhadran, Shrikanth S. Narayanan:
Generalized Ambiguity Decomposition for Understanding Ensemble Diversity.


Christopher R. Genovese, Marco Perone-Pacifico, Isabella Verdinelli, Larry A. Wasserman:
Nonparametric Inference For Density Modes.


Wei Dai, Jinliang Wei, Xun Zheng, Jin Kyu Kim, Seunghak Lee, Junming Yin, Qirong Ho, Eric P. Xing:
Petuum: A Framework for Iterative-Convergent Distributed ML.
Andreas Weinmann, Laurent Demaret, Martin Storath:
Total variation regularization for manifold-valued data.
Guillermo Gallego, Daniel Berjón, Narciso N. García:
Optimal polygonal L1 linearization and fast interpolation of nonlinear systems.

Vladas Sidoravicius, Alexandre Stauffer:
Phase transition for finite-speed detection among moving particles.
Jinliang Wei, Wei Dai, Abhimanu Kumar, Xun Zheng, Qirong Ho, Eric P. Xing:
Consistent Bounded-Asynchronous Parameter Servers for Distributed ML.
Martin Balko, Radoslav Fulek, Jan Kyncl:
Crossing numbers and combinatorial characterization of monotone drawings of $K_n$.
Tomoyuki Morimae, Keisuke Fujii, Joseph F. Fitzsimons:
On the hardness of classically simulating the one clean qubit model.
Anaïs Vergne, Laurent Decreusefond, Philippe Martins:
Random Abstract Simplicial Complexes Reduction.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
